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 multiple-valued logic approach to the design and verification of hardware circuits (Q266875) (← links)
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Equational type characterization for \(\sigma\)-complete MV-algebras. (Q353357) (← links)
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- Varieties generated by unital abelian \(\ell\)-groups (Q401022) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- 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)
- Interval MV-algebras and generalizations. (Q459040) (← links)
- A note of filters in effect algebras. (Q463172) (← links)
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) (Q502643) (← 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)
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- An extension of Stone duality to fuzzy topologies and MV-algebras (Q679839) (← links)
- On fuzzy ideals in BCK/BCI-algebras (Q705525) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← 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)
- Filters and ideals in the generalization of pseudo-BL algebras (Q780271) (← 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)
- Łukasiewicz logic and Riesz spaces. (Q894318) (← links)
- Scalar extensions for algebraic structures of Łukasiewicz logic. (Q898191) (← 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)
