Pages that link to "Item:Q3269132"
From MaRDI portal
The following pages link to A New Proof of the Completeness of the Lukasiewicz Axioms (Q3269132):
Displayed 50 items.
- Topological MV-algebras (Q1384202) (← links)
- Finite homogeneous and lattice ordered effect algebras (Q1412667) (← links)
- Extending Stone duality to multisets and locally finite MV-algebras. (Q1434764) (← links)
- Word problems in Elliott monoids (Q1669037) (← links)
- On non-associative generalizations of MV-algebras and lattice-ordered commutative loops (Q1677837) (← links)
- An analysis of the logic of Riesz spaces with strong unit (Q1693040) (← links)
- Least \(V\)-quasivarieties of MV-algebras (Q1697351) (← links)
- Weak QMV algebras and some ring-like structures (Q1701734) (← links)
- Notes on divisible MV-algebras (Q1703636) (← links)
- Some invariant skeletons for \(\ell\)-u groups and MV-algebras (Q1732804) (← links)
- Implicit connectives of algebraizable logics (Q1770605) (← links)
- Strong standard completeness for continuous t-norms (Q1795210) (← links)
- Some fuzzy concepts of BCI, BCK and MV-algebras (Q1818103) (← links)
- A classification of BL-algebras (Q1867635) (← links)
- On normal forms in Łukasiewicz logic (Q1882628) (← links)
- Boolean algebras R-generated by MV-effect algebras (Q1885726) (← links)
- Averaging the truth-value in Łukasiewicz logic (Q1896758) (← links)
- Quasilinear QMV algebras (Q1907562) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- On transitivity of strict preference relations (Q1914428) (← links)
- Fuzzy conditional logic (Q1914441) (← links)
- The socle and fuzzy socle of a \(\text{BCI}\)-algebra (Q1914510) (← links)
- Quantum MV algebras (Q1919984) (← links)
- Congruences generated by ideals of the compatibility center of lattice effect algebras (Q1955480) (← links)
- On theories of random variables (Q1955792) (← links)
- Equational characterization of all varieties of MV-algebras (Q1965268) (← links)
- One chain generated varieties of MV-algebras (Q1972417) (← links)
- Conditioning a state by a Łukasiewicz event: a probabilistic approach to Ulam games (Q1978507) (← links)
- L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation (Q1985746) (← links)
- The semiring-theoretic approach to MV-algebras: a survey (Q2014424) (← links)
- Rota's Fubini lectures: the first problem (Q2020017) (← links)
- Topological characterization of semisimple MV-algebras (Q2035413) (← links)
- A variety containing EMV-algebras and Pierce sheaves of EMV-algebras (Q2049270) (← links)
- A relationship between the category of chain MV-algebras and a subcategory of abelian groups (Q2054754) (← links)
- AF-algebras with lattice-ordered \(K_0\): logic and computation (Q2084965) (← links)
- State \(L\)-algebras and derivations of \(L\)-algebras (Q2099890) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Commutative \(L\)-algebras and measure theory (Q2121510) (← links)
- \(L\)-algebras and three main non-classical logics (Q2140578) (← links)
- MV-algebras as sheaves of \(\ell\)-groups on fuzzy topological spaces (Q2153664) (← links)
- Holistic and compositional logics based on the Bertini gate (Q2153998) (← links)
- Fuzzy representation of finite-valued quantum gates (Q2156432) (← links)
- Locally \(\sigma \)-complete and locally complete EMV-algebras (Q2156993) (← links)
- MV-algebras and partially cyclically ordered groups (Q2160026) (← links)
- The structure group of a non-degenerate effect algebra (Q2182566) (← links)
- \(L\)-effect algebras (Q2193972) (← links)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) (← links)
- Roughness in MV-algebras (Q2269822) (← links)
- An independent set of axioms of MV-algebras and solutions of the set-theoretical Yang-Baxter equation (Q2275127) (← links)