Algebraic foundations of many-valued reasoning

zbMATH Open0937.06009MaRDI QIDQ1817694FDOQ1817694

Authors: Roberto Cignoli, Itala D'Ottaviano, Daniele Mundici 

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)

• Central points and approximation in residuated lattices
• Embedding theorems for classes of GBL-algebras
• Non-reversible betting games on fuzzy events: complexity and algebra
• There exist subdirectly irreducible commutative basic algebras of an arbitrary infinite cardinality which are not MV-algebras
• A proof of completeness for continuous first-order logic
• Parameterized uncertain reasoning approach based on a lattice-valued logic
• Validation sets in fuzzy logics.
• Profinite MV-algebras and multisets.
• \(S\)-implications and \(R\)-implications on a finite chain.
• Divisibility groupoids -- again
• Polyhedral MV-algebras
• Germinal theories in Łukasiewicz logic
• Scalar extensions for algebraic structures of Łukasiewicz logic.
• Algebraic and topological results on lifting properties in residuated lattices
• Title not available (Why is that?)
• Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets
• Intuitionistic fuzzy reasoning using the method of optimizing the similarity of truth tables
• MV-semirings and their sheaf representations
• Glivenko theorems for substructural logics over FL
• Projective MV-algebras
• Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices
• Optimal strategic reasoning with McNaughton functions
• Hyperfinite MV-algebras
• Representing uncertainty on set-valued variables using belief functions
• Non-commutative Multiple-Valued Logic Algebras
• Free algebras in varieties of BL-algebras generated by a BL_n-chain
• Interval MV-algebras and generalizations.
• A note of filters in effect algebras.
• System adjustment of data of various nature in multidisciplinary research
• On some contributions to quantum structures by fuzzy sets
• On finitely-valued fuzzy description logics
• Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras
• Fuzzy logics from substructural perspective
• How to produce S-tense operators on lattice effect algebras
• States in Łukasiewicz logic correspond to probabilities of rational polyhedra
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• The Hahn embedding theorem for a class of residuated semigroups
• Lexicographic product vs \(\mathbb Q\)-perfect and \(\mathbb H\)-perfect pseudo effect algebras
• On (finite) distributive lattices with antitone involutions.
• On \(n\)-perfect GMV-algebras
• Interpretation of De Finetti coherence criterion in Łukasiewicz logic
• Partial quantum logics revisited
• Representations of strongly algebraically closed algebras
• On the equivalence between MV-algebras and \(l\)-groups with strong unit
• Normal residuated lattices
• A note on interval MV-algebras
• Geometrical methods in Wajsberg hoops
• The differential semantics of Łukasiewicz syntactic consequence
• Priestley duality for MV-algebras and beyond
• What is a non-truth-functional logic?
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• Characterizations of fuzzy ideals in coresiduated lattices
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• Implication and equivalential reducts of basic algebras
• \(f\)-derivations and \((f,g)\)-derivations of MV-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics for belief functions on MV-algebras
• Fuzzy propositional logic associated with quantum computational gates
• Mathematical fuzzy logic as a tool for the treatment of vague information
• Lattice of subalgebras in the finitely generated varieties of MV-algebras
• A classification of certain group-like \(\mathrm{FL}_e\)-chains
• Algebraic study to generalized Bosbach states on residuated lattices
• Generators of projective MV-algebras
• Gödel spaces and perfect MV-algebras
• Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
• Derivations of MV-algebras
• An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
• Title not available (Why is that?)
• Finitely generated varieties of distributive effect algebras
• Stone MV-algebras and strongly complete MV-algebras
• Effectiveness and multivalued logics
• Generating the variety of BL-algebras
• Perfect effect algebras and spectral resolutions of observables
• Relative subalgebras of MV-algebras
• On the axiomatisability of the dual of compact ordered spaces
• 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
• 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
• The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras
• Bernoulli automorphisms of finitely generated free MV-algebras
• Normal forms for fuzzy logic functions and their approximation ability
• The spectrum of the sum of observables on \(\sigma\)-complete MV-effect algebras
• Unital hyperarchimedean vector lattices
• The semiring-theoretic approach to MV-algebras: a survey
• Uniformly hyperarchimedean lattice-ordered groups
• Sum of \(n\)-dimensional observables on MV-effect algebras
• Lexicographic MV-algebras and lexicographic states.
• Interior and closure operators on bounded residuated lattices
• Monadic MV-algebras. I: A study of subvarieties
• New complexity results for Łukasiewicz logic
• Finite axiomatizability in Łukasiewicz logic
• Truth values on generalizations of some commutative fuzzy structures
• Good and bad infinitesimals, and states on pseudo MV-algebras
• The sum of observables on a \(\sigma\)-distributive lattice effect algebra

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)