@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] Lattice theory, Amer. Math. Soc. Coll. Publ. 25, 3e ed. 1967, MR 37#2638. | MR | Zbl
,[2] 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] Stone filters and ideals in distributive lattices, Bull. Math. 15 (1971), 131-137, MR 48 # 191, Zbl 259. 06005. | MR | Zbl
,[4] A propositional calculus with denumerable matrix, Jour. Symb. Log. 24 (1959) 97-106. MR 23 # A801. | MR | Zbl
,[5] P-algebras, an abstraction from Post algebras, Alg. Univ. 4 (1974) 195-206. Zbl. 294. 06010. | MR | Zbl
and ,[6] Logic with truth values in a linearly ordered Heyting algebra, Jour. Symb. Log. 34 (1969) 395-408. MR 40 # 7089. | MR | Zbl
,[7] Sur les algèbres de Heyting-Brouwer, Bull. Acad. Pol. Sci. (à paraître). | Zbl
[8] Les algèbres de Heyting-Brouwer et de Lukasiewicz trivalentes, Notre Dame Jour. Fomal Log. 17 (1976) 119-126. | MR | Zbl
,[9] Lukasiewicz and symmetrical Heyting algebras, (à paraître). | Zbl
,[10] Selected works, ed. L. Borkowski, Studies in Logic, North-Holland, 1970. MR 45 # 3155. Zbl. 212. 9. | MR | Zbl
,[11] On closed elements in closure algebra, Annals of Math. 47 (1946) 122-162. MR 7, 359. | MR | Zbl
and ,[12] Recherches sur l'algèbre de la logique, Annals Sci. Univ. Jassy, 22 (1935) 1-117. | JFM | Zbl
,[13] Les logiques non-chrysippiennes et leurs applications, Acta Phil. Fennica, 16 (1963) 137-152. MR 28 # 2969. | MR | Zbl
,[14] 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
,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] Axiomes indépendants pour les algèbres de Brouwer, Rev. Union Mat., Arg. 17 (1955) 149-160. MR 18, 867. | MR | Zbl
,[16] Algebras de Heyting mondicas, Actas X Jornadas Union Mat. Arg. 1957, 52-62.
,Algebras de Heyting monàdicas, Notas de Lógica Mat. n° 1, Bahia Blanca, Argentina, 1974. | Zbl
,[17] Linéarisation de la logique positive de Hilbert-Bernays Rev. Union Mat. Argentina, 20 (1962) 308-309. | MR
,[18] Linearización de la lógica positiva de Hilbert-Bernays cours donné à l'Univ. Nac. del Sur, Bahia Blanca, Argentina 1964. | MR
,[19] Algèbre du calcul propositionnel trivalent de Heyting Fund. Math. 74 (1972) 99-109. MR 45 # 4957. Zbl. 248, 02070. | MR | Zbl
,[20] An algebraic approach to non-classical logics, Studies in Logic, Vol. 78, North-Holland, 1974. | MR | Zbl
,[21] Representation theorem for semi-Boolean algebras, I, II, Bull. Acad. Vol. Sci., 19 (1971) 881-887 ; MR 46 # 1668. Zbl 227, 02036. | MR | Zbl
,Representation theorem for semi-Boolean algebras, I, II, Bull. Acad. Vol. Sci. 19 (1972) 889-892. | MR | Zbl
,[22] Semi-Boolean algebras and their application to intuitionistic logic with dual operations, Fund. Math. 83 (1974) 219-249. | MR | Zbl
,[23] Many-valued logics, Studies in Logic, North-Holland, 1951, MR 14, 526. | MR | Zbl
and ,[24] Post algebras and pseudo-Post algebras, Fund. Math. 67 (1970) 133-145. | MR | Zbl
,[25] On the characterization of Stone lattices, Acta Sci. Math. (Szeged) 27 (1966) 81-84. MR 33 # 2580. | MR | Zbl
,[26] Algèbres de Lukasiewicz trivalentes, Bull. Soc. Roy. Sci. Liège 36 (1968) 399-408. MR 38 # 5676, Zbl. 175, 266. | MR | Zbl