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)
- Implicit connectives of algebraizable logics (Q1770605) (← 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)
- 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)
- Lexicographic MV-algebras and lexicographic states. (Q2350513) (← links)
- Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. (Q2351509) (← links)
- MV-pairs and states (Q2391234) (← links)
- Geometrical aspects of possibility measures on finite domain MV-clans (Q2391903) (← links)
- Proper semantics for substructural logics, from a stalker theoretic point of view (Q2426733) (← links)
- Monadic MV-algebras. I: A study of subvarieties (Q2449451) (← links)
- Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras. (Q2449457) (← links)
- Kites and pseudo BL-algebras. (Q2450843) (← links)
- Monadic MV-algebras. II: Monadic implicational subreducts (Q2450844) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- MV-algebras and quantum computation (Q2498366) (← links)
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics (Q2563461) (← links)
- Conditional probability on \(\sigma\)-MV-algebras (Q2565803) (← links)
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops (Q2573726) (← links)
- Boolean dominated MV-algebras (Q2576599) (← links)
- Natural dualities for varieties of BL-algebras (Q2576643) (← links)
- Semirings and pseudo MV algebras (Q2642991) (← links)
- Lattice of subalgebras in the finitely generated varieties of MV-algebras (Q2643320) (← links)
- Blocks of homogeneous effect algebras (Q2748269) (← links)
- (Q2777522) (← links)
- Vague Domains, S-Unification and Logic Programming (Q2842597) (← links)
- Representation of perfect and local MV-algebras (Q3016468) (← links)
- Representations of MV-algebras by sheaves (Q3077400) (← links)
- Commutative rings whose ideals form an MV-algebra (Q3184212) (← links)
- (Q3421453) (← links)
- (Q3596241) (← links)
- Subalgebras, direct products and associated lattices of MV-algebras (Q4016255) (← links)