Lukasiewicz and Symmetrical Heyting Algebras
From MaRDI portal
Publication:4149450
DOI10.1002/MALQ.19770230706zbMath0373.02042OpenAlexW2138141991MaRDI QIDQ4149450
Publication date: 1977
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19770230706
Other algebras related to logic (03G25) Many-valued logic (03B50) Logical aspects of Boolean algebras (03G05) Intermediate logics (03B55)
Related Items (8)
Symmetrical Heyting algebras with a finite order type of operators ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ An alternative definition of quantifiers on four-valued Łukasiewicz algebras ⋮ On \(k\)-cyclic \(SHn\)-algebra ⋮ Closure Łukasiewicz algebras ⋮ Some Operators in Kripke Models with an Involution ⋮ Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi ⋮ Symmetrical Heyting algebras of order \(3\times 3\)
This page was built for publication: Lukasiewicz and Symmetrical Heyting Algebras
