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
• 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
• 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

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)