Some Operators in Kripke Models with an Involution

DOI10.1080/11663081.1999.10510959zbMath1033.03511OpenAlexW2168978724MaRDI QIDQ4443422

Marta S. Sagastume, Adriana Galli

Publication date: 13 January 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1999.10510959

zbMATH Keywords

Heyting algebrasKripke modelsŁukasiewicz algebrasŁukasiewicz logic

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topoi. The categorial analysis of logic
• The lattice structure of some Lukasiewicz algebras
• Completeness results for intuitionistic and modal logic in a categorical setting
• Bi-Heyting algebras, toposes and modalities
• Heyting Algebras with a Dual Lattice Endomorphism
• Lukasiewicz and Symmetrical Heyting Algebras

This page was built for publication: Some Operators in Kripke Models with an Involution