Algebraic foundations of many-valued reasoning

zbMATH Open0937.06009MaRDI QIDQ1817694FDOQ1817694

Daniele Mundici, Itala D'Ottaviano, Roberto Cignoli

Publication date: 4 January 2000

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Recommendations

• Semi-simple and complete MV-algebras
• Advanced Łukasiewicz calculus and MV-algebras
• scientific article; zbMATH DE number 1329672
• scientific article; zbMATH DE number 437517

zbMATH Keywords

MV-algebralattice-ordered groupMcNaughton functionfree MV-algebrainfinite-valued propositional calculus

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Other algebras related to logic (03G25) MV-algebras (06D35) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Cited In (only showing first 100 items - show all)

• Commutative rings whose ideals form an MV-algebra
• EI, involutory and EQI-ideal in bounded BCK-algebras.
• The left adjoint of Spec from a category of lattice-ordered groups
• On central limit theorems for IV-events
• \(n\)-perfect and \(\mathbb Q\)-perfect pseudo effect algebras
• On n ‐contractive fuzzy logics
• The category of Archimedean \(\ell\)-groups with strong unit, and some of its epireflective subcategories
• Title not available (Why is that?)
• Graded consequence revisited
• STRICT COHERENCE ON MANY-VALUED EVENTS
• A new approach for classification of filters in residuated lattices
• Effect algebras with state operator
• On tense MV-algebras
• Pasting of lattice-ordered effect algebras
• Almost structural completeness; an algebraic approach
• Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
• The structure of generalized intermediate syllogisms
• A categorical equivalence motivated by Kalman's construction
• A representation theorem for integral rigs and its applications to residuated lattices.
• Every state on interval effect algebra is integral
• AF inverse monoids and the structure of countable MV-algebras
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• A formal theory of generalized intermediate syllogisms
• States on quantum structures versus integrals
• Propositional dynamic logic for searching games with errors
• Free nilpotent minimum algebras
• On the structure of pseudo BL-algebras and pseudo hoops in quantum logics
• Representation theory of MV-algebras
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Conditional probability on MV-algebras
• Stable Non-standard Imprecise Probabilities
• Natural dualities for varieties of MV-algebras. I
• Franco Montagna's work on provability logic and many-valued logic
• The algebra of many-valued quantities
• Every state on semisimple MV-algebra is integral
• Algebraic analysis of fuzzy systems
• Proof theory for locally finite many-valued logics: semi-projective logics
• Some types of filters in residuated lattices
• Isomorphism theorems on generalized effect algebras based on atoms
• MV-algebras with internal states and probabilistic fuzzy logics
• Coproducts of distributive lattice-based algebras.
• A note on Trillas' CHC models
• Fuzzy points and attachment
• State-morphism MV-algebras
• A logical characterization of coherence for imprecise probabilities
• State morphism MV-algebras
• Ordered groups with a conucleus
• Adding structure to MV-algebras
• Pseudo \(d\)-algebras
• The approximation of piecewise linear membership functions and Łukasiewicz operators
• The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic
• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
• Modal definability based on Łukasiewicz validity relations
• Bookmaking over infinite-valued events
• A logic for reasoning about the probability of fuzzy events
• Least \(V\)-quasivarieties of MV-algebras
• Generalized MV-algebras
• Classes of filters in generalizations of commutative fuzzy structures
• A characterization theorem on the rotation construction for triangular norms
• Continuous lattice effect algebras admitting order-continuous states
• \(*\)-maximum lattice-ordered groups.
• BCI-implicative ideals of BCI-algebras
• The Rényi-Ulam games and many-valued logics
• \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
• The coherence of Łukasiewicz assessments is NP-complete
• MV-algebras, multiple bets and subjective states
• A non-commutative generalization of Łukasiewicz rings
• Extending maps to profinite completions in finitely generated quasivarieties
• A logical and algebraic treatment of conditional probability
• On the predicate logics of continuous t-norm BL-algebras
• Lattice-ordered effect algebras and L-algebras
• Operators on MV-algebras and their representations.
• De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
• Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids
• Conditional probability on \(\sigma\)-MV-algebras
• Analysis of generalized square of opposition with intermediate quantifiers
• Amalgamation and interpolation in ordered algebras.
• On Fuzzy Logic I Many‐valued rules of inference
• A categorical equivalence for product algebras
• Non-standard probability, coherence and conditional probability on many-valued events
• Representation and extension of states on MV-algebras
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Perfect GMV-Algebras
• Invariant Measures in Free MV-Algebras
• Pseudo MV-algebras are intervals in ℓ-groups
• Effectiveness and multivalued logics
• Generating the variety of BL-algebras
• Perfect effect algebras and spectral resolutions of observables
• Relative subalgebras of MV-algebras
• On orders of observables on effect algebras
• MV-observables and MV-algebras
• A finite axiomatization of positive MV-algebras
• A common generalization for MV-algebras and Łukasiewicz-Moisil algebras
• Filter topologies and topological MV-algebras
• Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications
• Graded Generalized Hexagon in Fuzzy Natural Logic
• Title not available (Why is that?)
• Functional representation of finitely generated free algebras in subvarieties of BL-algebras
• Łukasiewicz transform and its application to compression and reconstruction of digital images
• Generic substitutions

This page was built for publication: Algebraic foundations of many-valued reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817694)