Pages that link to "Item:Q4137140"

The following pages link to Super-Łukasiewicz implicational logics (Q4137140):

Displaying 23 items.

• The Priestley duality for Wajsberg algebras (Q753812) (← links)
• Quasivarieties and congruence permutability of Łukasiewicz implication algebras (Q763305) (← links)
• Decomposability of free Łukasiewicz implication algebras (Q862351) (← links)
• Free Łukasiewicz implication algebras (Q937211) (← links)
• Wajsberg algebras and Post algebras (Q1317894) (← links)
• On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
• Implicative subreducts of MV-algebras: free and weakly projective objects (Q1689298) (← links)
• Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
• Geometrical methods in Wajsberg hoops (Q1858223) (← links)
• On finite-valued propositional logical calculi (Q1913635) (← links)
• Splittings in subreducts of hoops (Q2082253) (← links)
• Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
• Splittings in GBL-algebras. I: The general case (Q2329010) (← links)
• Factor congruences in BCK-algebras (Q2391226) (← links)
• Monadic MV-algebras. II: Monadic implicational subreducts (Q2450844) (← links)
• Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
• Algebraic functions in Łukasiewicz implication algebras (Q2799121) (← links)
• On some extensions of the class of MV-algebras (Q2987756) (← links)
• Varieties generated by finite BCK-algebras (Q3880895) (← links)
• Trees as commutative BCK-Algebras (Q3889050) (← links)
• Super-Łukasiewicz propositional logics (Q3939781) (← links)
• Structural and universal completeness in algebra and logic (Q6145037) (← links)