Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures
Iturrioz, Luisa
Publications du Département de mathématiques (Lyon), Tome 12 (1975), p. 91-113 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1975-01-01
@article{PDML_1975__12_3_91_0,
     author = {Iturrioz, Luisa},
     title = {Les alg\`ebres de Heyting-Brouwer : point de rencontre de plusieurs structures},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     volume = {12},
     year = {1975},
     pages = {91-113},
     mrnumber = {422019},
     zbl = {0346.02034},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PDML_1975__12_3_91_0}
}

Iturrioz, Luisa. Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures. Publications du Département de mathématiques (Lyon), Tome 12 (1975) pp. 91-113. http://gdmltest.u-ga.fr/item/PDML_1975__12_3_91_0/

[1] Birkhoff G., Lattice theory, Amer. Math. Soc. Coll. Publ. 25, 3e ed. 1967, MR 37#2638. | MR 227053 | Zbl 0153.02501

[2] Cignoli R., Moisil algebras, Notas de Logica matematica n° 27, Univ. Nac. del Sur, Bahia Blanca, Argentina, 1970, MR 49 # 10614, Zbl 212,317. | MR 345884 | Zbl 0212.31701

[3] Cignoli R., Stone filters and ideals in distributive lattices, Bull. Math. 15 (1971), 131-137, MR 48 # 191, Zbl 259. 06005. | MR 321824 | Zbl 0259.06005

[4] Dummet M., A propositional calculus with denumerable matrix, Jour. Symb. Log. 24 (1959) 97-106. MR 23 # A801. | MR 123476 | Zbl 0089.24307

[5] Epstein G. and Horn A., P-algebras, an abstraction from Post algebras, Alg. Univ. 4 (1974) 195-206. Zbl. 294. 06010. | MR 351940 | Zbl 0294.06010

[6] Horn A., Logic with truth values in a linearly ordered Heyting algebra, Jour. Symb. Log. 34 (1969) 395-408. MR 40 # 7089. | MR 253876 | Zbl 0181.29904

[7] Iturrioz L. Sur les algèbres de Heyting-Brouwer, Bull. Acad. Pol. Sci. (à paraître). | Zbl 0361.02070

[8] Iturrioz L., Les algèbres de Heyting-Brouwer et de Lukasiewicz trivalentes, Notre Dame Jour. Fomal Log. 17 (1976) 119-126. | MR 429549 | Zbl 0299.02072

[9] Iturrioz L., Lukasiewicz and symmetrical Heyting algebras, (à paraître). | Zbl 0373.02042

[10] Lukasiewicz J., Selected works, ed. L. Borkowski, Studies in Logic, North-Holland, 1970. MR 45 # 3155. Zbl. 212. 9. | MR 294080 | Zbl 0212.00902

[11] Mc Kinsey J.C.C. and Tarski A., On closed elements in closure algebra, Annals of Math. 47 (1946) 122-162. MR 7, 359. | MR 15037 | Zbl 0060.06207

[12] Moisil Gr., Recherches sur l'algèbre de la logique, Annals Sci. Univ. Jassy, 22 (1935) 1-117. | JFM 62.0031.02 | Zbl 0014.00202

[13] Moisil Gr., Les logiques non-chrysippiennes et leurs applications, Acta Phil. Fennica, 16 (1963) 137-152. MR 28 # 2969. | MR 159753 | Zbl 0126.26001

[14] Monteiro A., L'arithmétique des filtres et les espaces topologiques, Segundo Symp. Latino americano de Mat. Centro de Coop. Cientifica Unesco, Montevideo (1954) 129-162. | MR 74805 | Zbl 0058.38503

Monteiro A., L'arithmétique des filtres et les espaces topologiques, Notas de Lógica Mat. n° 2-30, Univ. Nac. del Sur, Bahia Blanca, Argentina, 1974, MR 17, 649. | Zbl 0318.06019

[15] Monteiro A., Axiomes indépendants pour les algèbres de Brouwer, Rev. Union Mat., Arg. 17 (1955) 149-160. MR 18, 867. | MR 84483 | Zbl 0072.25004

[16] Monteiro A. Varsavsky O., Algebras de Heyting mondicas, Actas X Jornadas Union Mat. Arg. 1957, 52-62.

Monteiro A. Varsavsky O., Algebras de Heyting monàdicas, Notas de Lógica Mat. n° 1, Bahia Blanca, Argentina, 1974. | Zbl 0319.02054

[17] Monteiro A., Linéarisation de la logique positive de Hilbert-Bernays Rev. Union Mat. Argentina, 20 (1962) 308-309. | MR 161785

[18] Monteiro A., Linearización de la lógica positiva de Hilbert-Bernays cours donné à l'Univ. Nac. del Sur, Bahia Blanca, Argentina 1964. | MR 1420008

[19] Monteiro L., Algèbre du calcul propositionnel trivalent de Heyting Fund. Math. 74 (1972) 99-109. MR 45 # 4957. Zbl. 248, 02070. | MR 295895 | Zbl 0248.02070

[20] Rasiowa H., An algebraic approach to non-classical logics, Studies in Logic, Vol. 78, North-Holland, 1974. | MR 446968 | Zbl 0299.02069

[21] Rauszer C., Representation theorem for semi-Boolean algebras, I, II, Bull. Acad. Vol. Sci., 19 (1971) 881-887 ; MR 46 # 1668. Zbl 227, 02036. | MR 302524 | Zbl 0227.02036

Rauszer C., Representation theorem for semi-Boolean algebras, I, II, Bull. Acad. Vol. Sci. 19 (1972) 889-892. | MR 302524 | Zbl 0227.02036

[22] Rauszer C., Semi-Boolean algebras and their application to intuitionistic logic with dual operations, Fund. Math. 83 (1974) 219-249. | MR 340006 | Zbl 0298.02064

[23] Rosser J.B. and Turquette A.R., Many-valued logics, Studies in Logic, North-Holland, 1951, MR 14, 526. | MR 51791 | Zbl 0047.01503

[24] Rousseau G., Post algebras and pseudo-Post algebras, Fund. Math. 67 (1970) 133-145. | MR 265248 | Zbl 0198.01904

[25] Varlet J., On the characterization of Stone lattices, Acta Sci. Math. (Szeged) 27 (1966) 81-84. MR 33 # 2580. | MR 194370 | Zbl 0158.27102

[26] Varlet J. Algèbres de Lukasiewicz trivalentes, Bull. Soc. Roy. Sci. Liège 36 (1968) 399-408. MR 38 # 5676, Zbl. 175, 266. | MR 237388 | Zbl 0175.26604