Symmetrical Heyting algebras with a finite order type of operators

DOI10.1007/BF01053033zbMath0836.03039MaRDI QIDQ1896756

Luisa Iturrioz

Publication date: 18 October 1995

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal operatorssymmetrical Heyting algebras

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items

Monteiro's algebraic notion of maximal consistent theory for Tarskian logics, Heyting algebras with Boolean operators for rough sets and information retrieval applications

Cites Work

• Jerzy Słupecki (1904-1987): Life and work
• Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability
• Invariant probabilistic metrizability of fuzzy neighbourhood groups
• An algebraic approach to non-classical logics
• SYMMETRICAL HEYTING ALGEBRAS WITH OPERATORS
• Lukasiewicz and Symmetrical Heyting Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item