Geodesic
The Completeness And Compactness Of A Three-Valued First-Order Logic.
Revista colombiana de matematicas, Tome 19 (1985), pp. 77-94.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : three-valued system, modal logics, paraconsistent logics, three-valued theories, semantics, strong equivalence 
@article{RCM_1985__19_181748,
     author = {Itala M.L. D'Ottaviano},
     title = {The {Completeness} {And} {Compactness} {Of} {A} {Three-Valued} {First-Order} {Logic.}},
     journal = {Revista colombiana de matematicas},
     pages = {77--94},
     publisher = {mathdoc},
     volume = {19},
     year = {1985},
     zbl = {0614.03020},
     url = {http://geodesic.mathdoc.fr/item/RCM_1985__19_181748/}
}
TY  - JOUR
AU  - Itala M.L. D'Ottaviano
TI  - The Completeness And Compactness Of A Three-Valued First-Order Logic.
JO  - Revista colombiana de matematicas
PY  - 1985
SP  - 77
EP  - 94
VL  - 19
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RCM_1985__19_181748/
ID  - RCM_1985__19_181748
ER  - 
%0 Journal Article
%A Itala M.L. D'Ottaviano
%T The Completeness And Compactness Of A Three-Valued First-Order Logic.
%J Revista colombiana de matematicas
%D 1985
%P 77-94
%V 19
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RCM_1985__19_181748/
%F RCM_1985__19_181748
Itala M.L. D'Ottaviano. The Completeness And Compactness Of A Three-Valued First-Order Logic.. Revista colombiana de matematicas, Tome 19 (1985), pp. 77-94. http://geodesic.mathdoc.fr/item/RCM_1985__19_181748/