Les algèbres de Heyting et de Lukasiewicz trivalentes
From MaRDI portal
Publication:2534163
DOI10.1305/ndjfl/1093894076zbMath0177.01001OpenAlexW1994948488MaRDI QIDQ2534163
Publication date: 1970
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093894076
Related Items
A characterization of Stone and linear Heyting algebras ⋮ Unnamed Item ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Algebras of intervals and a logic of conditional assertions ⋮ An abstract algebraic logic approach to tetravalent modal logics
This page was built for publication: Les algèbres de Heyting et de Lukasiewicz trivalentes