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.
- A direct product decomposition of QMV algebras (Q424333) (← links)
- Partially undetermined many-valued events and their conditional probability (Q452350) (← links)
- The dual adjunction between MV-algebras and Tychonoff spaces (Q454391) (← links)
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- Partial and unsharp quantum logics. (Q541832) (← links)
- Derivations of MV-algebras (Q623685) (← links)
- A logical characterization of coherence for imprecise probabilities (Q648377) (← links)
- State morphism MV-algebras (Q648387) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- On fuzzy ideals in BCK/BCI-algebras (Q705525) (← links)
- The Priestley duality for Wajsberg algebras (Q753812) (← links)
- Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit (Q763298) (← links)
- Boolean skeletons of MV-algebras and \(\ell \)-groups (Q763315) (← links)
- Finiteness based results in BL-algebras (Q816864) (← links)
- Frames and MV-algebras (Q817695) (← links)
- Non-commutative Łukasiewicz propositional logic (Q818518) (← links)
- Quantum conservative many-valued computing (Q835101) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Bernoulli automorphisms of finitely generated free MV-algebras (Q860428) (← links)
- Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro (Q861575) (← links)
- A representation theorem for MV-algebras (Q877761) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- Ideals in MV-pairs (Q939178) (← links)
- \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
- A characterization of interval-valued residuated lattices (Q962651) (← links)
- Representation of MV-algebras by regular ultrapowers of \([0,1]\) (Q971886) (← links)
- Divisibility groupoids -- again (Q977710) (← links)
- A note on effect algebras and dimension theory of AF C\(^*\)-algebras (Q1005540) (← links)
- The pseudo-linear semantics of interval-valued fuzzy logics (Q1007878) (← links)
- A note on intervals of residuated \(\ell \)-groupoids (Q1040919) (← links)
- Decidable and undecidable MV-algebras (Q1057270) (← links)
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras (Q1066930) (← links)
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus (Q1079157) (← links)
- 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)