Pages that link to "Item:Q1817694"

The following pages link to Algebraic foundations of many-valued reasoning (Q1817694):

Displaying 50 items.

• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) (Q502643) (← links)
• Characterizations of fuzzy ideals in coresiduated lattices (Q504690) (← links)
• MV-algebras, infinite dimensional polyhedra, and natural dualities (Q512132) (← links)
• A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
• Germinal theories in Łukasiewicz logic (Q515569) (← links)
• Generators of projective MV-algebras (Q521708) (← links)
• Algebraic study to generalized Bosbach states on residuated lattices (Q521709) (← links)
• Stone MV-algebras and strongly complete MV-algebras (Q522224) (← links)
• Non-reversible betting games on fuzzy events: complexity and algebra (Q533180) (← links)
• There exist subdirectly irreducible commutative basic algebras of an arbitrary infinite cardinality which are not MV-algebras (Q535119) (← links)
• On the structure of pseudo BL-algebras and pseudo hoops in quantum logics (Q535622) (← links)
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
• Measure-free conditioning and extensions of additive measures on finite MV-algebras (Q622033) (← links)
• Measures, states and de Finetti maps on pseudo-BCK algebras (Q622056) (← links)
• Derivations of MV-algebras (Q623685) (← links)
• Advanced Łukasiewicz calculus and MV-algebras (Q626097) (← links)
• Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) (Q632777) (← links)
• Representation theory of MV-algebras (Q636342) (← links)
• A logical characterization of coherence for imprecise probabilities (Q648377) (← links)
• State morphism MV-algebras (Q648387) (← links)
• Coordinatizing some concrete MV algebras and a decomposition theorem (Q666682) (← links)
• Uncertainty, imprecision, and many-valued logics in protein bioinformatics (Q669205) (← links)
• The Rényi-Ulam games and many-valued logics (Q679806) (← links)
• Operators on Pavelka's algebras induced by fuzzy relations (Q679836) (← links)
• Pseudo MV-algebras and lexicographic product (Q679837) (← links)
• An extension of Stone duality to fuzzy topologies and MV-algebras (Q679839) (← links)
• The category of Archimedean \(\ell\)-groups with strong unit, and some of its epireflective subcategories (Q682074) (← links)
• On orders of observables on effect algebras (Q682671) (← links)
• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic (Q703371) (← links)
• Conditional probability on MV-algebras (Q703381) (← links)
• The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras (Q712687) (← links)
• Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
• Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
• Lifting, \(n\)-dimensional spectral resolutions, and \(n\)-dimensional observables (Q776988) (← links)
• The spectrum problem for abelian \(\ell\)-groups and MV-algebras (Q776994) (← links)
• Spectral resolutions and observables in \(n\)-perfect MV-algebras (Q780273) (← links)
• Filter and weak link topologies (Q783286) (← links)
• A new theory consistency index based on deduction theorems in several logic systems (Q812631) (← links)
• Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← links)
• Generating the variety of BL-algebras (Q816867) (← links)
• A characterization of the free \(n\)-generated MV-algebra (Q818513) (← links)
• Non-commutative Łukasiewicz propositional logic (Q818518) (← links)
• On the axiomatisability of the dual of compact ordered spaces (Q831307) (← links)
• Pseudo \(d\)-algebras (Q833743) (← links)
• Transporting many-valued sets along many-valued relations (Q834436) (← links)
• \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
• Neutrosophic logics: Prospects and problems (Q835186) (← links)
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
• States on semi-divisible generalized residuated lattices reduce to states on MV-algebras (Q835280) (← links)