Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures
Publications du Département de mathématiques (Lyon), Volume 12 (1975) no. 3, pp. 91-113.
@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)},
     pages = {91--113},
     publisher = {Universit\'e Claude Bernard - Lyon 1},
     volume = {12},
     number = {3},
     year = {1975},
     mrnumber = {422019},
     zbl = {0346.02034},
     language = {fr},
     url = {http://archive.numdam.org/item/PDML_1975__12_3_91_0/}
}
TY  - JOUR
AU  - Iturrioz, Luisa
TI  - Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1975
SP  - 91
EP  - 113
VL  - 12
IS  - 3
PB  - Université Claude Bernard - Lyon 1
UR  - http://archive.numdam.org/item/PDML_1975__12_3_91_0/
LA  - fr
ID  - PDML_1975__12_3_91_0
ER  - 
%0 Journal Article
%A Iturrioz, Luisa
%T Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures
%J Publications du Département de mathématiques (Lyon)
%D 1975
%P 91-113
%V 12
%N 3
%I Université Claude Bernard - Lyon 1
%U http://archive.numdam.org/item/PDML_1975__12_3_91_0/
%G fr
%F 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), Volume 12 (1975) no. 3, pp. 91-113. http://archive.numdam.org/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 | Zbl

[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 | Zbl

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

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

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

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

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

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

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

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

[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 | Zbl

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

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

[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 | Zbl

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

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

[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

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

[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

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

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

[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 | Zbl

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

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

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

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

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

[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 | Zbl