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.
- 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)
- Categorical equivalence between \(\mathrm{PMV}_f \)-product algebras and semi-low \(f_u \)-rings (Q2278836) (← links)
- A proof of the standard completeness for the involutive uninorm logic (Q2337894) (← links)
- Some results in weak pseudo-quasi-Wajsberg algebras (Q2337895) (← 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)
- On the geometric theory of local MV-algebras (Q2400339) (← 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)
- On EMV-algebras with square roots (Q2696391) (← links)
- Linear \(L\)-algebras and prime factorization (Q2699014) (← links)
- Blocks of homogeneous effect algebras (Q2748269) (← links)
- (Q2777522) (← links)
- Vague Domains, S-Unification and Logic Programming (Q2842597) (← links)
- On some extensions of the class of MV-algebras (Q2987756) (← 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)
