The completeness and compactness of a three-valued first-order logic
The strong completeness and the compactness of a three-valued first order predicate calculus with two distinguished truth-values are obtained. The system was introduced in Sur un prcb leme de Jaskowski, I .M.L. D.'Ottaviano and N.C. A. da Costa, C.R. Acad.Sc. Paris 270A (1970) , pp.1349-1353, a...
- Autores:
-
D'Ottaviano, Itala M. L.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1985
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/48759
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/48759
http://bdigital.unal.edu.co/42216/
- Palabra clave:
- Integrity
calculation
values
system
paraconsistent logic
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | The strong completeness and the compactness of a three-valued first order predicate calculus with two distinguished truth-values are obtained. The system was introduced in Sur un prcb leme de Jaskowski, I .M.L. D.'Ottaviano and N.C. A. da Costa, C.R. Acad.Sc. Paris 270A (1970) , pp.1349-1353, and has several applications, especially in paraconsistent logics. |
|---|