A five-valued logic and a system
The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known but consistent, false, true, and inconsistent...
Guardado en:
| Autor principal: | Ferreira, Ulisses |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2004
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/9494 http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct04-2.pdf |
| Aporte de: |
Ejemplares similares
-
Bi-modal Gödel logic over [0,1]-valued Kripke frames
por: Caicedo, X., et al. -
Bi-modal Gödel logic over [0,1]-valued Kripke frames
Publicado: (2015) -
On the connection between default logic and DELP
por: Delladio, Telma, et al.
Publicado: (2006) -
lntroducing generalized specificity in logic programming
por: Stolzenburg, Frieder, et al.
Publicado: (2000) -
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
por: Bou, F., et al.