Pages that link to "Item:Q2577712"

The following pages link to MV-algebras: a variety for magnitudes with archimedean units (Q2577712):

Displaying 22 items.

• Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras (Q278739) (← links)
• Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras (Q472706) (← links)
• Propositional dynamic logic for searching games with errors (Q472791) (← links)
• A note on derivations on basic algebras (Q521631) (← links)
• Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
• Quasivarieties and congruence permutability of Łukasiewicz implication algebras (Q763305) (← links)
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
• \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
• Commutative basic algebras and non-associative fuzzy logics (Q1016506) (← links)
• A general Glivenko theorem (Q1047099) (← links)
• On non-associative generalizations of MV-algebras and lattice-ordered commutative loops (Q1677837) (← links)
• Least \(V\)-quasivarieties of MV-algebras (Q1697351) (← links)
• Open questions related to the problem of Birkhoff and Maltsev (Q1770619) (← links)
• Beth definability and the Stone-Weierstrass theorem (Q2033009) (← links)
• Commutative \(L\)-algebras and measure theory (Q2121510) (← links)
• \(L\)-algebras and three main non-classical logics (Q2140578) (← links)
• Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
• Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. (Q2351509) (← links)
• Finitely generated varieties of distributive effect algebras (Q2377306) (← links)
• Complete commutative basic algebras (Q2464641) (← links)
• The geometry of discrete \(L\)-algebras (Q6060894) (← links)
• Separable MV-algebras and lattice-ordered groups (Q6196134) (← links)