Algebraic foundations of many-valued reasoning

zbMATH Open0937.06009MaRDI QIDQ1817694FDOQ1817694

Daniele Mundici, Itala D'Ottaviano, Roberto Cignoli

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)

• Effectiveness and multivalued logics
• Generating the variety of BL-algebras
• Perfect effect algebras and spectral resolutions of observables
• Relative subalgebras of MV-algebras
• On orders of observables on effect algebras
• 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
• Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications
• Graded Generalized Hexagon in Fuzzy Natural Logic
• 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
• f-DERIVATIONS AND (f; g)-DERIVATIONS OF MV -ALGEBRAS
• Good and bad infinitesimals, and states on pseudo MV-algebras
• The sum of observables on a \(\sigma\)-distributive lattice effect algebra
• Observables on perfect MV-algebras
• Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
• Free algebras in varieties of BL-algebras generated by a BL_n-chain
• Title not available (Why is that?)
• Title not available (Why is that?)
• Measure-free conditioning and extensions of additive measures on finite MV-algebras
• On Varieties of Pseudo MV-Algebras
• States on hyper MV-algebras
• Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras
• A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain
• A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra
• Lifting, \(n\)-dimensional spectral resolutions, and \(n\)-dimensional observables
• Spectral resolutions and observables in \(n\)-perfect MV-algebras
• Title not available (Why is that?)
• Compatibility of observables on effect algebras
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
• Basic algebras, logics, trends and applications
• Filter and weak link topologies
• Residuated lattices and lattice effect algebras
• From Classical to Fuzzy Type Theory
• Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
• Faithful and Invariant Conditional Probability in Łukasiewicz Logic
• Hyper effect algebras
• A topological duality for monadic MV-algebras
• MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
• Quantum computational logic with mixed states
• Duality theory and skeleta for semisimple MV-algebras
• Pro-finite MV-spaces
• Coordinatizing some concrete MV algebras and a decomposition theorem
• Uncertainty, imprecision, and many-valued logics in protein bioinformatics
• Ideals and involutive filters in generalizations of fuzzy structures
• Arithmetical complexity of fuzzy predicate logics -- a survey
• Word problems in Elliott monoids
• On \(n \times m\)-valued Łukasiewicz-Moisil algebras
• Implicit connectives of algebraizable logics
• An extension of Stone duality to fuzzy topologies and MV-algebras
• Operators on Pavelka's algebras induced by fuzzy relations
• Pseudo MV-algebras and lexicographic product
• Atomic effect algebras with the Riesz decomposition property
• Two-dimensional observables and spectral resolutions
• 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
• Profinite MV-algebras and multisets.
• 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
• Title not available (Why is that?)
• Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices
• Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic
• Optimal strategic reasoning with McNaughton functions
• Hyperfinite MV-algebras
• Representing uncertainty on set-valued variables using belief functions
• Non-commutative Multiple-Valued Logic Algebras
• Title not available (Why is that?)
• Interval MV-algebras and generalizations.
• A note of filters in effect algebras.
• System adjustment of data of various nature in multidisciplinary research

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)