Super-Łukasiewicz implicational logics
From MaRDI portal
Publication:4137140
DOI10.1017/S0027763000018249zbMath0363.02015MaRDI QIDQ4137140
Publication date: 1978
Published in: Nagoya Mathematical Journal (Search for Journal in Brave)
Related Items
On the structure of varieties with equationally definable principal congruences. III ⋮ Factor congruences in BCK-algebras ⋮ Decomposability of free Łukasiewicz implication algebras ⋮ On finite-valued propositional logical calculi ⋮ Implicative subreducts of MV-algebras: free and weakly projective objects ⋮ Structural and universal completeness in algebra and logic ⋮ Complexity of some language fragments of fuzzy logics ⋮ On some extensions of the class of MV-algebras ⋮ Monadic MV-algebras. II: Monadic implicational subreducts ⋮ Free Łukasiewicz implication algebras ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Algebraic functions in Łukasiewicz implication algebras ⋮ Varieties generated by finite BCK-algebras ⋮ Trees as commutative BCK-Algebras ⋮ The Priestley duality for Wajsberg algebras ⋮ Quasivarieties and congruence permutability of Łukasiewicz implication algebras ⋮ Splittings in subreducts of hoops ⋮ Splittings in GBL-algebras. I: The general case ⋮ Super-Łukasiewicz propositional logics ⋮ Geometrical methods in Wajsberg hoops ⋮ Wajsberg algebras and Post algebras
Cites Work
