The Completeness And Compactness Of A Three-Valued First-Order Logic.
Revista colombiana de matematicas (1985)
- Volume: 19, page 77-94
- ISSN: 0034-7426
Access Full Article
top
How to cite
topD'Ottaviano, Itala M.L.. "The Completeness And Compactness Of A Three-Valued First-Order Logic.." Revista colombiana de matematicas 19 (1985): 77-94. <http://eudml.org/doc/181748>.
@article{DOttaviano1985,
author = {D'Ottaviano, Itala M.L.},
journal = {Revista colombiana de matematicas},
keywords = {three-valued system; modal logics; paraconsistent logics; three-valued theories; semantics; strong equivalence},
pages = {77-94},
title = {The Completeness And Compactness Of A Three-Valued First-Order Logic.},
url = {http://eudml.org/doc/181748},
volume = {19},
year = {1985},
}
TY - JOUR
AU - D'Ottaviano, Itala M.L.
TI - The Completeness And Compactness Of A Three-Valued First-Order Logic.
JO - Revista colombiana de matematicas
PY - 1985
VL - 19
SP - 77
EP - 94
KW - three-valued system; modal logics; paraconsistent logics; three-valued theories; semantics; strong equivalence
UR - http://eudml.org/doc/181748
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.