Algebraic foundations of many-valued reasoning

zbMath0937.06009MaRDI QIDQ1817694

Daniele Mundici, Itala M. Loffredo D'Ottaviano, Roberto L. O. Cignoli

Publication date: 4 January 2000

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

zbMATH Keywords

lattice-ordered groupMV-algebraMcNaughton functionfree MV-algebrainfinite-valued propositional calculus

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items (only showing first 100 items - show all)

A characterization of the free \(n\)-generated MV-algebra ⋮ Non-commutative Łukasiewicz propositional logic ⋮ The left adjoint of Spec from a category of lattice-ordered groups ⋮ On tense MV-algebras ⋮ Effect algebras with state operator ⋮ Pasting of lattice-ordered effect algebras ⋮ A new approach for classification of filters in residuated lattices ⋮ Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras ⋮ Almost structural completeness; an algebraic approach ⋮ The structure of generalized intermediate syllogisms ⋮ The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic ⋮ A categorical equivalence motivated by Kalman's construction ⋮ Modal definability based on Łukasiewicz validity relations ⋮ A representation theorem for integral rigs and its applications to residuated lattices. ⋮ On the axiomatisability of the dual of compact ordered spaces ⋮ Pseudo \(d\)-algebras ⋮ Transporting many-valued sets along many-valued relations ⋮ \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic ⋮ Neutrosophic logics: Prospects and problems ⋮ Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ States on semi-divisible generalized residuated lattices reduce to states on MV-algebras ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ A non-commutative generalization of Łukasiewicz rings ⋮ AF inverse monoids and the structure of countable MV-algebras ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ A preliminary study of MV-algebras with two quantifiers which commute ⋮ Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras ⋮ Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups ⋮ Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic ⋮ Equational type characterization for \(\sigma\)-complete MV-algebras. ⋮ The Toffoli-Hadamard gate system: an algebraic approach ⋮ Representations of MV-algebras by Hilbert-space effects ⋮ Generalized Bosbach states. II ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ MV-algebras freely generated by finite Kleene algebras. ⋮ An algebraic characterization of o-minimal and weakly o-minimal MV-chains ⋮ Varieties generated by unital abelian \(\ell\)-groups ⋮ Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras. ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Measure-free conditioning and extensions of additive measures on finite MV-algebras ⋮ Measures, states and de Finetti maps on pseudo-BCK algebras ⋮ Derivations of MV-algebras ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ A formal theory of generalized intermediate syllogisms ⋮ Handling the valuation of the predicates in a fuzzy model ⋮ Fuzzy measures and integrals defined on algebras of fuzzy subsets over complete residuated lattices ⋮ Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) ⋮ State operators on generalizations of fuzzy structures ⋮ Bases in semilinear spaces over join-semirings ⋮ States on quantum structures versus integrals ⋮ Representation theory of MV-algebras ⋮ States in Łukasiewicz logic correspond to probabilities of rational polyhedra ⋮ A logical characterization of coherence for imprecise probabilities ⋮ State morphism MV-algebras ⋮ Interval MV-algebras and generalizations. ⋮ A note of filters in effect algebras. ⋮ System adjustment of data of various nature in multidisciplinary research ⋮ On finitely-valued fuzzy description logics ⋮ Coproducts of distributive lattice-based algebras. ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ \(n\)-perfect and \(\mathbb Q\)-perfect pseudo effect algebras ⋮ Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras ⋮ Propositional dynamic logic for searching games with errors ⋮ How to produce S-tense operators on lattice effect algebras ⋮ Coordinatizing some concrete MV algebras and a decomposition theorem ⋮ Uncertainty, imprecision, and many-valued logics in protein bioinformatics ⋮ On the equivalence between MV-algebras and \(l\)-groups with strong unit ⋮ Normal residuated lattices ⋮ Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) ⋮ Characterizations of fuzzy ideals in coresiduated lattices ⋮ The Rényi-Ulam games and many-valued logics ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ Pseudo MV-algebras and lexicographic product ⋮ An extension of Stone duality to fuzzy topologies and MV-algebras ⋮ MV-algebras, infinite dimensional polyhedra, and natural dualities ⋮ The category of Archimedean \(\ell\)-groups with strong unit, and some of its epireflective subcategories ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ On orders of observables on effect algebras ⋮ Germinal theories in Łukasiewicz logic ⋮ Generators of projective MV-algebras ⋮ Algebraic study to generalized Bosbach states on residuated lattices ⋮ Stone MV-algebras and strongly complete MV-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 ⋮ On the structure of pseudo BL-algebras and pseudo hoops in quantum logics ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic ⋮ Conditional probability on MV-algebras ⋮ The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Lifting, \(n\)-dimensional spectral resolutions, and \(n\)-dimensional observables ⋮ The spectrum problem for abelian \(\ell\)-groups and MV-algebras ⋮ Spectral resolutions and observables in \(n\)-perfect MV-algebras ⋮ Filter and weak link topologies ⋮ A new theory consistency index based on deduction theorems in several logic systems ⋮ EI, involutory and EQI-ideal in bounded BCK-algebras. ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey ⋮ Generating the variety of BL-algebras

This page was built for publication: Algebraic foundations of many-valued reasoning