Representation theorem for finite quasi-boolean algebras
Muškardin, Virgilio
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 58 (1976), p. 117-128 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1976-01-01
@article{ASCFM_1976__60_13_117_0,
     author = {Mu\v skardin, Virgilio},
     title = {Representation theorem for finite quasi-boolean algebras},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     volume = {58},
     year = {1976},
     pages = {117-128},
     mrnumber = {450062},
     zbl = {0359.02062},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ASCFM_1976__60_13_117_0}
}

Muškardin, Virgilio. Representation theorem for finite quasi-boolean algebras. Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 58 (1976) pp. 117-128. http://gdmltest.u-ga.fr/item/ASCFM_1976__60_13_117_0/

1 A. Bialynicki-Birula, H. Rasiowa: «On the representation of quasi-Boolean algebras» ; Bull. Ac. Pol. Sc., Cl. III, 5 (1957), pp. 259-261. | MR 87628 | Zbl 0082.01403

2 G. Birkhoff: Lattice theory; Amer. Math. Soc. 1948. | MR 29876

3 J.P. Cleave: «The notion of logical consequence in the logic of inexact predicates» ; Zeitschr. f. math. Logik und Grundlagen d. Math., 20 (1974), pp. 307-324. | MR 373828 | Zbl 0299.02015

4 J.P. Cleave: «Quasi-Boolean algebras, empirical continuity and three-valued logic » ; (to appear in Zeitschr.). | MR 540751 | Zbl 0364.02036

5 P. Hájek, K. Bendova, Z. Renc: «The GUHA method and the three-valued logic» ; Kybernetica, 7 (1971), pp. 421-425. | MR 324940 | Zbl 0232.68034

6 S.C. Kleene: Introduction to metamathematics; North-Holland Publ. Co., Amsterdam 1962. | Zbl 0047.00703

7 S. Korner: Experience and theory; Kegan Paul, London 1966.