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
• An algebraic characterization of o-minimal and weakly o-minimal MV-chains
• Varieties generated by unital abelian \(\ell\)-groups
• A characterization of the free \(n\)-generated MV-algebra
• Bases in semilinear spaces over join-semirings
• A characterization of MV-algebras free over finite distributive lattices
• Canonicity in subvarieties of BL-algebras
• Łukasiewicz Tribes are Absolutely Sequentially Closed Bold Algebras
• Consistency degrees of theories in some systems of propositional fuzzy logic
• Reasoning about mathematical fuzzy logic and its future
• Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
• Title not available (Why is that?)
• Decidable and undecidable MV-algebras
• The spectrum problem for abelian \(\ell\)-groups and MV-algebras
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• The variety of lattice effect algebras generated by MV-algebras and the horizontal sum of two 3-element chains
• Handling the valuation of the predicates in a fuzzy model
• Fuzzy measures and integrals defined on algebras of fuzzy subsets over complete residuated lattices
• Geometry of Robinson consistency in Łukasiewicz logic
• An example of a commutative basic algebra which is not an MV-algebra
• Perfect MV-algebras and their logic
• Fuzzy logic with countable evaluated syntax revisited
• Measures, states and de Finetti maps on pseudo-BCK algebras
• Extended-order algebras
• Some invariant skeletons for \(\ell\)-u groups and MV-algebras
• Extending Stone duality to multisets and locally finite MV-algebras.
• Non-commutative fuzzy structures and pairs of weak negations.
• A Para Consistent Fuzzy Logic
• Generalizations of pseudo MV-algebras and generalized pseudo effect algebras
• On the semisimple tensor product of MV-algebras

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)