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)

• Representation by triples of algebras with an MV-retract
• Title not available (Why is that?)
• On the complexity of validity degrees in Łukasiewicz logic
• Algebraic geometry for \(\ell \)-groups
• Recognizing free generating sets of \(\ell\)-groups
• On Product MV-Algebras
• Simple games in Łukasiewicz calculus and their cores
• Convex MV-algebras: many-valued logics meet decision theory
• Generalized EMV-effect algebras
• On a class of residuated semilattice monoids
• Title not available (Why is that?)
• MV-algebras and partially cyclically ordered groups
• Ordered group-valued probability, positive operators, and integral representations
• On linear varieties of MTL-algebras
• Affine representations of \(\ell\)-groups and MV-algebras
• Morphisms on EMV-algebras and their applications
• The Archimedean property: new horizons and perspectives
• Coherence in the aggregate: a betting method for belief functions on many-valued events
• Module structure on effect algebras
• Sequential convergences on pseudo MV-algebras
• A non-associative generalization of MV-algebras
• Invariant observables and the individual ergodic theorem
• Title not available (Why is that?)
• Probability in quantum computation and quantum computational logics: a survey
• Notes on divisible MV-algebras
• On the continuity of probability on IF sets
• An effect-theoretic account of Lebesgue integration
• Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
• Ultramatricial algebras over commutative chain semirings and application to MV-algebras
• A problem of annihilator primes in MV-algebras
• On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
• A graded approach to cardinal theory of finite fuzzy sets. I: Graded equipollence
• Galois connections and tense operators on q-effect algebras
• On non-associative generalizations of MV-algebras and lattice-ordered commutative loops
• An algebraic semantics for possibilistic finite-valued Łukasiewicz logic
• Semiring and semimodule issues in MV-algebras.
• An alternative definition of quantifiers on four-valued Łukasiewicz algebras
• Characterizing finite-valuedness
• Partial algebras for Łukasiewicz logics and its extensions
• Implicative subreducts of MV-algebras: free and weakly projective objects
• On intervals and the dual of a pseudo MV-algebra
• On interval subalgebras of generalized MV-algebras
• Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
• An analysis of the logic of Riesz spaces with strong unit
• Perfect Pavelka logic
• Partial tense MV-algebras and related functions
• Injective and projective semimodules over involutive semirings
• Completeness for monadic fuzzy logics via functional algebras
• Infinite valued Łukasiewicz logic
• The Beth property in algebraic logic
• New torsion theory in unital abelian \(\ell \)-groups
• Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions
• Finitely Presented Abelian Lattice-Ordered Groups
• Monadic MV-algebras. II: Monadic implicational subreducts
• Title not available (Why is that?)
• A note on minimal axiomatisations of some extensions of MTL
• De Finetti's coherence and exchangeability in infinitary logic
• 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

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)