Representation theorem for finite quasi-boolean algebras
Annales scientifiques de l'Université de Clermont. Mathématiques, Volume 60 (1976) no. 13, p. 117-128
@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},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {60},
     number = {13},
     year = {1976},
     pages = {117-128},
     zbl = {0359.02062},
     mrnumber = {450062},
     language = {en},
     url = {http://www.numdam.org/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, Volume 60 (1976) no. 13, pp. 117-128. http://www.numdam.org/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.