Pages that link to "Item:Q1817694"
From MaRDI portal
The following pages link to Algebraic foundations of many-valued reasoning (Q1817694):
Displaying 50 items.
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Every state on semisimple MV-algebra is integral (Q853397) (← links)
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems (Q853469) (← links)
- Bernoulli automorphisms of finitely generated free MV-algebras (Q860428) (← links)
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580) (← links)
- A common generalization for MV-algebras and Łukasiewicz-Moisil algebras (Q862349) (← links)
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
- Łukasiewicz transform and its application to compression and reconstruction of digital images (Q865924) (← links)
- Bookmaking over infinite-valued events (Q868109) (← links)
- Algebraic analysis of fuzzy systems (Q868279) (← links)
- Truth values on generalizations of some commutative fuzzy structures (Q869115) (← links)
- A logic for reasoning about the probability of fuzzy events (Q876493) (← links)
- Fuzzy logic with countable evaluated syntax revisited (Q878970) (← links)
- Residuated lattices and lattice effect algebras (Q879018) (← links)
- Normal forms for fuzzy logics: a proof-theoretic approach (Q884948) (← links)
- Profinite MV-algebras and multisets. (Q890022) (← links)
- Lexicographic pseudo MV-algebras (Q893603) (← links)
- On (finite) distributive lattices with antitone involutions. (Q894667) (← links)
- Lexicographic product vs \(\mathbb Q\)-perfect and \(\mathbb H\)-perfect pseudo effect algebras (Q894668) (← links)
- Some types of filters in residuated lattices (Q894672) (← links)
- Scalar extensions for algebraic structures of Łukasiewicz logic. (Q898191) (← links)
- Gödel spaces and perfect MV-algebras (Q898780) (← links)
- Central points and approximation in residuated lattices (Q900262) (← links)
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words (Q903641) (← links)
- The join of the variety of MV-algebras and the variety of orthomodular lattices (Q904491) (← links)
- The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency (Q907884) (← links)
- On \(n\)-perfect GMV-algebras (Q934035) (← links)
- The variety of lattice effect algebras generated by MV-algebras and the horizontal sum of two 3-element chains (Q935016) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- Pavelka-style completeness in expansions of Łukasiewicz logic (Q937210) (← links)
- A characterization of MV-algebras free over finite distributive lattices (Q938236) (← links)
- Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras (Q942326) (← links)
- On \(n \times m\)-valued Łukasiewicz-Moisil algebras (Q944048) (← links)
- A determination principle for algebras of \(n\)-valued Łukasiewicz logic (Q958991) (← links)
- Extended-order algebras (Q959059) (← links)
- MV-algebras with internal states and probabilistic fuzzy logics (Q962839) (← links)
- Embedding theorems for classes of GBL-algebras (Q964512) (← links)
- States on polyadic MV-algebras (Q965911) (← links)
- Representing uncertainty on set-valued variables using belief functions (Q969529) (← links)
- A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain (Q969587) (← links)
- Projective MV-algebras and rational polyhedra (Q976753) (← links)
- Divisibility groupoids -- again (Q977710) (← links)
- Effectible residuated lattices and \(n\)-th roots (Q983038) (← links)
- Graded consequence revisited (Q983060) (← links)
- Paraconsistent semantics for Pavelka style fuzzy sentential logic (Q983066) (← links)
- Fuzzy points and attachment (Q983086) (← links)
- The coherence of Łukasiewicz assessments is NP-complete (Q985139) (← links)
- Canonicity in subvarieties of BL-algebras (Q993324) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- A way to interpret Łukasiewicz logic and basic logic (Q1005968) (← links)
