Lukasiewicz and Symmetrical Heyting Algebras
From MaRDI portal
Publication:4149450
DOI10.1002/malq.19770230706zbMath0373.02042MaRDI 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
03G25: Other algebras related to logic
03B50: Many-valued logic
03G05: Logical aspects of Boolean algebras
03B55: Intermediate logics
Related Items
Some Operators in Kripke Models with an Involution, An alternative definition of quantifiers on four-valued Łukasiewicz algebras, Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi, Symmetrical Heyting algebras with a finite order type of operators, On \(k\)-cyclic \(SHn\)-algebra, Closure Łukasiewicz algebras