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):
Displaying 50 items.
- W-algebras which are Boolean products of members of SR[1] and CW- algebras (Q1090332) (← links)
- Semi-simple and complete MV-algebras (Q1185226) (← links)
- Complete and atomic algebras of the infinite valued Łukasiewicz logic (Q1189890) (← links)
- Priestley duality and quotient lattices of many-valued algebras (Q1192092) (← links)
- Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi (Q1205168) (← links)
- Convergence in perfect MV-algebras (Q1276373) (← links)
- Tensor products and the Loomis-Sikorski theorem for MV-algebras (Q1291066) (← links)
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics (Q1306836) (← links)
- Strict MV-algebras (Q1306872) (← links)
- Algebraic structures in fuzzy logic (Q1311717) (← links)
- Wajsberg algebras and Post algebras (Q1317894) (← links)
- Logic of infinite quantum systems (Q1325668) (← links)
- Local MV-algebras (Q1329606) (← links)
- Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups (Q1337605) (← links)
- Normal forms for fuzzy logic functions and their approximation ability (Q1349207) (← links)
- Generalized fuzzy connectives on \(MV\)-algebras (Q1353717) (← links)
- Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual (Q1354006) (← links)
- 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)
