Geodesic
An algebraic completeness proof for Kleene's 3-valued logic
Bollettino della Unione matematica italiana, Série 8, 5B (2002) no. 2, pp. 447-467.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

We introduce Kleene's 3-valued logic in a language containing, besides the Boolean connectives, a constant $n$ for the undefined truth value, so in developing semantics we can switch from the usual treatment based on DM-algebras to the narrower class of DMF-algebras (De Morgan algebras with a single fixed point for negation). A sequent calculus for Kleene's logic is introduced and proved complete with respect to threevalent semantics. The completeness proof is based on a version of the prime ideal theorem that is typical of DMF-algebras. Only for the weak completeness theorem the proof is fully algebrical, because in the proof of strong completeness we have been compelled to use topological methods (Tychonoff theorem on the product of compact spaces).
La logica trivalente di Kleene è presentata in un linguaggio che comprende, oltre alle costanti booleane, anche un simbolo per il valore di verità intermedio $n$. Parallelamente si sviluppa la semantica utilizzando la classe delle DMF-algebre al posto della classe più estesa costituita dalle algebra di De Morgan. Si introduce quindi un calcolo di sequenti che viene dimostrato completo rispetto alla semantica trivalente. La dimostrazione di completezza è fondata su una versione del teorema dell'ideale primo tipica delle DMF-algebre. La dimostrazione è interamente algebrica solo per quanto riguarda il teorema di completezza debole. La dimostrazione della versione forte del teorema di completezza utilizza metodi topologici, in particolare il teorema di Tychonoff sul prodotto di spazi compatti. 
@article{BUMI_2002_8_5B_2_a9,
     author = {Negri, Maurizio},
     title = {An algebraic completeness proof for {Kleene's} 3-valued logic},
     journal = {Bollettino della Unione matematica italiana},
     pages = {447--467},
     publisher = {mathdoc},
     volume = {Ser. 8, 5B},
     number = {2},
     year = {2002},
     zbl = {1096.03021},
     mrnumber = {1149599},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2002_8_5B_2_a9/}
}
TY  - JOUR
AU  - Negri, Maurizio
TI  - An algebraic completeness proof for Kleene's 3-valued logic
JO  - Bollettino della Unione matematica italiana
PY  - 2002
SP  - 447
EP  - 467
VL  - 5B
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_2002_8_5B_2_a9/
LA  - en
ID  - BUMI_2002_8_5B_2_a9
ER  - 
%0 Journal Article
%A Negri, Maurizio
%T An algebraic completeness proof for Kleene's 3-valued logic
%J Bollettino della Unione matematica italiana
%D 2002
%P 447-467
%V 5B
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2002_8_5B_2_a9/
%G en
%F BUMI_2002_8_5B_2_a9
Negri, Maurizio. An algebraic completeness proof for Kleene's 3-valued logic. Bollettino della Unione matematica italiana, Série 8, 5B (2002) no. 2, pp. 447-467. http://geodesic.mathdoc.fr/item/BUMI_2002_8_5B_2_a9/

[1] S. Blamey, Partial logic, in D. Gabbay and F. Guenthner (eds.) Handbook of Philosophical Logic, Vol. III, D. Reidel, Dordrecht, 1986, 1-70. | Zbl

[2] J. P. Cleave, A Study of Logics, Oxford, 1991. | MR | Zbl

[3] B. A. Davey-H. A. Priestley, Introduction to Lattices and Order, Cambridge, 1990. | MR | Zbl

[4] G. Malinowski, Many Valued Logics, Oxford, 1992. | MR | Zbl

[5] M. Negri, Three valued semantics and DMF-algebras, Boll. Un. Mat. Ital. (7), 10-B (1996), 733-60. | MR | Zbl

[6] M. Negri, DMF-algebras: Representation and Topological Characterization, Boll. Un. Mat. Ital. (8), 10-B (1998), 369-90. | fulltext bdim | fulltext mini-dml | MR | Zbl