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)

• 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
• An efficient algorithm for representing piecewise linear functions into logic
• Weakly divisible MV-algebras and product
• Non-commutative Łukasiewicz propositional logic
• MV-algebras with operators (the commutative and the non-commutative case).
• Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
• Representation of logic formulas by normal forms.
• Bouligand-Severi tangents in MV-algebras.
• Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras.
• Roughness in MV-algebras
• Sheaves of abelian \(l\)-groups
• The intimate relationship between the McNaughton and the Chinese remainder theorems for MV-algebras
• A basic algebra is an MV-algebra if and only if it is a BCC-algebra
• A preliminary study of MV-algebras with two quantifiers which commute
• Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras
• Complete commutative basic algebras
• Loomis-Sikorski representation of monotone \(\sigma\)-complete effect algebras
• Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras.
• Paraconsistent semantics for Pavelka style fuzzy sentential logic
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• Associativity, commutativity and symmetry in residuated structures
• MV-algebras, infinite dimensional polyhedra, and natural dualities
• Which logic is the real fuzzy logic?
• Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
• Sufficient triangular norms in many-valued logics with standard negation
• Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples
• State operators on generalizations of fuzzy structures
• On the lattice of deductive systems of a BL-algebra
• Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic
• Equational type characterization for \(\sigma\)-complete MV-algebras.
• Boolean products of BL-algebras
• The Toffoli-Hadamard gate system: an algebraic approach
• Representations of MV-algebras by Hilbert-space effects
• On Free MV-Algebras
• Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II
• Fuzzy topology representation for MV-algebras
• Projective MV-algebras and rational polyhedra
• A new theory consistency index based on deduction theorems in several logic systems
• Commutative basic algebras and non-associative fuzzy logics
• EQ-algebras
• Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
• Completeness with respect to a chain and universal models in fuzzy logic
• Generalizations of Boolean products for lattice-ordered algebras
• Transporting many-valued sets along many-valued relations
• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Generalized Bosbach states. II
• Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups
• On some classes of state-morphism MV-algebras
• An asymptotically tight bound on countermodels for Łukasiewicz logic
• MV-algebras freely generated by finite Kleene algebras.
• Smarandache BL-algebra
• States on semi-divisible generalized residuated lattices reduce to states on MV-algebras
• 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

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)