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

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, Convex MV-algebras: many-valued logics meet decision theory, Generalized EMV-effect algebras, Ordered group-valued probability, positive operators, and integral representations, Morphisms on EMV-algebras and their applications, The Archimedean property: new horizons and perspectives, Normal forms for fuzzy logic functions and their approximation ability, Every state on semisimple MV-algebra is integral, Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems, Recognizing free generating sets of \(\ell\)-groups, Bernoulli automorphisms of finitely generated free MV-algebras, Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras, A common generalization for MV-algebras and Łukasiewicz-Moisil algebras, Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations, Łukasiewicz transform and its application to compression and reconstruction of digital images, Bookmaking over infinite-valued events, Algebraic analysis of fuzzy systems, Truth values on generalizations of some commutative fuzzy structures, Word problems in Elliott monoids, A logic for reasoning about the probability of fuzzy events, Fuzzy logic with countable evaluated syntax revisited, Residuated lattices and lattice effect algebras, On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief, Towards understanding the Pierce-Birkhoff conjecture via MV-algebras, Algebraic and topological results on lifting properties in residuated lattices, On non-associative generalizations of MV-algebras and lattice-ordered commutative loops, Galois connections and tense operators on q-effect algebras, A graded approach to cardinal theory of finite fuzzy sets. I: Graded equipollence, Stochastic independence for probability MV-algebras, Normal forms for fuzzy logics: a proof-theoretic approach, Profinite MV-algebras and multisets., Lexicographic pseudo MV-algebras, Affine representations of \(\ell\)-groups and MV-algebras, Implicative subreducts of MV-algebras: free and weakly projective objects, An alternative definition of quantifiers on four-valued Łukasiewicz algebras, On (finite) distributive lattices with antitone involutions., Lexicographic product vs \(\mathbb Q\)-perfect and \(\mathbb H\)-perfect pseudo effect algebras, Some types of filters in residuated lattices, An analysis of the logic of Riesz spaces with strong unit, Scalar extensions for algebraic structures of Łukasiewicz logic., Gödel spaces and perfect MV-algebras, Central points and approximation in residuated lattices, MV-modules, Polyhedral MV-algebras, Least \(V\)-quasivarieties of MV-algebras, Perfect Pavelka logic, Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic, Partial tense MV-algebras and related functions, Hyper effect algebras, An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words, On a class of residuated semilattice monoids, On the lattice of deductive systems of a BL-algebra, An expansion of basic logic with fixed points, Layers of zero probability and stable coherence over Łukasiewicz events, The join of the variety of MV-algebras and the variety of orthomodular lattices, Factor varieties, Generalized Łukasiewicz rings, The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency, MV-algebras with operators (the commutative and the non-commutative case)., Non-commutative fuzzy structures and pairs of weak negations., Extending Stone duality to multisets and locally finite MV-algebras., On \(n\)-perfect GMV-algebras, The variety of lattice effect algebras generated by MV-algebras and the horizontal sum of two 3-element chains, Forcing in Łukasiewicz predicate logic, Pavelka-style completeness in expansions of Łukasiewicz logic, A characterization of MV-algebras free over finite distributive lattices, Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras, On \(n \times m\)-valued Łukasiewicz-Moisil algebras, A determination principle for algebras of \(n\)-valued Łukasiewicz logic, Extended-order algebras, MV-algebras with internal states and probabilistic fuzzy logics, Embedding theorems for classes of GBL-algebras, States on polyadic MV-algebras, Representing uncertainty on set-valued variables using belief functions, A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain, Projective MV-algebras and rational polyhedra, Divisibility groupoids -- again, Effectible residuated lattices and \(n\)-th roots, Graded consequence revisited, Paraconsistent semantics for Pavelka style fuzzy sentential logic, Fuzzy points and attachment, The coherence of Łukasiewicz assessments is NP-complete, Canonicity in subvarieties of BL-algebras, Dialogue games for many-valued logics -- an overview, A way to interpret Łukasiewicz logic and basic logic, Isomorphism theorems on generalized effect algebras based on atoms, Abelian \(\ell\)-groups with strong unit and perfect MV-algebras, Commutative basic algebras and non-associative fuzzy logics, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, A problem of annihilator primes in MV-algebras, A note on Trillas' CHC models, State-morphism MV-algebras, Generalizations of Boolean products for lattice-ordered algebras, Interpretation of De Finetti coherence criterion in Łukasiewicz logic, Ordered groups with a conucleus, What is a non-truth-functional logic?, EQ-algebras, MV-algebras, multiple bets and subjective states, Weakly divisible MV-algebras and product, Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II, Boolean products of BL-algebras, Continuous lattice effect algebras admitting order-continuous states, Priestley duality for MV-algebras and beyond, Wajsberg algebras arising from binary block codes, The zero-divisor graphs of MV-algebras, A characterization of pseudofinite MV-algebras, MV-algebras as sheaves of \(\ell\)-groups on fuzzy topological spaces, Spectral properties of cBCK-algebras, A finite axiomatization of positive MV-algebras, EBL-algebras, Locally \(\sigma \)-complete and locally complete EMV-algebras, Observables on \(\sigma\)-frame effect algebras as upper semicontinuous functions, MV-algebras and partially cyclically ordered groups, Models, coproducts and exchangeability: notes on states on Baire functions, Pro-compactly finite MV-algebras, Atomic effect algebras with the Riesz decomposition property, Two-dimensional observables and spectral resolutions, Spectral resolutions and quantum observables, Markov kernels and tribes, MV-semirings and their sheaf representations, Notes on divisible MV-algebras, \(C_n\mathrm{MV}_m\)-algebras, A topological duality for monadic MV-algebras, Localization of PMV-algebras, Extending maps to profinite completions in finitely generated quasivarieties, Logics for belief functions on MV-algebras, Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics, The HSP-classes of Archimedean \(l\)-groups with weak unit, Logics of left variable inclusion and Płonka sums of matrices, The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many, States on wEMV-algebras, Graded structures of opposition in fuzzy natural logic, Some invariant skeletons for \(\ell\)-u groups and MV-algebras, An efficient algorithm for representing piecewise linear functions into logic, The Cantor-Bernstein-Schröder theorem via universal algebra., On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events, Graded polygons of opposition in fuzzy formal concept analysis, Probability over Płonka sums of Boolean algebras: states, metrics and topology, Sheaves and duality, Expressivity in chain-based modal logics, Algebraic geometry for \(\ell \)-groups, Demiquantifiers on \(\ell \)-groups, Hyperarchimedean coproducts., Duality theory and skeleta for semisimple MV-algebras, Amalgamation and interpolation in ordered algebras., The spectrum of the sum of observables on \(\sigma\)-complete MV-effect algebras, Universal properties of Łukasiewicz consequence, Functional representation of finitely generated free algebras in subvarieties of BL-algebras, On the predicate logics of continuous t-norm BL-algebras, A logical and algebraic treatment of conditional probability, Pseudo-MV algebra of fractions and maximal pseudo-MV algebra of quotients, Generalized MV-algebras, Implicit connectives of algebraizable logics, Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions, States of finite GBL-algebras with monoidal sum, Ideals and involutive filters in generalizations of fuzzy structures, The semiring-theoretic approach to MV-algebras: a survey, Roughness in MV-algebras, Fuzzy logics from substructural perspective, Projective MV-algebras, An independent set of axioms of MV-algebras and solutions of the set-theoretical Yang-Baxter equation, The Hahn embedding theorem for a class of residuated semigroups, Categorical equivalence between \(\mathrm{PMV}_f \)-product algebras and semi-low \(f_u \)-rings, On generalized versions of central limit theorems for IF-events, Beth definability and the Stone-Weierstrass theorem, On the semisimple tensor product of MV-algebras, Completeness for monadic fuzzy logics via functional algebras, A paraconsistent many-valued similarity method for multi-attribute decision making, Prime, minimal prime and maximal ideals spaces in residuated lattices, Topological characterization of semisimple MV-algebras, Filter topologies and topological MV-algebras, Perfect effect algebras and spectral resolutions of observables, Characterizing finite-valuedness, Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification, A representation of residuated lattices satisfying the double negation law, On central limit theorems for IV-events, The two-sorted algebraic theory of states, and the universal states of MV-algebras, Topological characterization of filter topological MV-algebras, On special elements and pseudocomplementation in lattices with antitone involutions, Equivalence à la Mundici for commutative lattice-ordered monoids, A variety containing EMV-algebras and Pierce sheaves of EMV-algebras, Closure operations on MV-algebras, A characterization theorem on the rotation construction for triangular norms, A relationship between the category of chain MV-algebras and a subcategory of abelian groups, On solutions to the set-theoretical Yang-Baxter equation in Wajsberg-algebras, Ultramatricial algebras over commutative chain semirings and application to MV-algebras, On linear varieties of MTL-algebras, New complexity results for Łukasiewicz logic, Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic, Betting on continuous independent events, Operations and structures derived from non-associative MV-algebras, Pro-finite MV-spaces, Expanding lattice ordered abelian groups to Riesz spaces, Structural completeness in many-valued logics with rational constants, The existence of states based on Glivenko semihoops, Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers, Sum of \(n\)-dimensional observables on MV-effect algebras, Preideals in EQ-algebras, Geometrical methods in Wajsberg hoops, On the complexity of validity degrees in Łukasiewicz logic, Poset products as relational models, Relative subalgebras of MV-algebras, On Vaught’s Conjecture and finitely valued MV algebras, Geometry of Robinson consistency in Łukasiewicz logic, Hyperfinite MV-algebras, Associativity, commutativity and symmetry in residuated structures, Sheaves of abelian \(l\)-groups, The intimate relationship between the McNaughton and the Chinese remainder theorems for MV-algebras, Finitely generated varieties of distributive effect algebras, Algebras with implication and fusion: a different point of view., De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic], Smarandache BL-algebra, The approximation of piecewise linear membership functions and Łukasiewicz operators, Perfect MV-algebras and their logic, Lattice of subalgebras in the finitely generated varieties of MV-algebras, On the geometric theory of local MV-algebras, Riesz decomposition properties and the lexicographic product of po-groups, Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices, Compatibility of observables on effect algebras, When the lexicographic product of two po-groups has the Riesz decomposition property, Are locally finite MV-algebras a variety?, How the F-transform can be defined for hesitant, soft or intuitionistic fuzzy sets?, De Finetti's coherence and exchangeability in infinitary logic, Petr Hájek: A Scientific Biography, The Differential Semantics of Łukasiewicz Syntactic Consequence, How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures?, Primary decomposition of A-ideals in MV-modules, On principal congruences in distributive lattices with a commutative monoidal operation and an implication, Unnamed Item, Categorical properties of compact Hausdorff MV-algebras, A basic algebra is an MV-algebra if and only if it is a BCC-algebra, Radically principal MV-algebras, The Beth property in algebraic logic, Some modal and temporal translations of generalized basic logic, On EMV-algebras with square roots, Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications, \(*\)-maximum lattice-ordered groups., Interior and closure operators on bounded residuated lattices, Monadic MV-algebras. I: A study of subvarieties, Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras., Bouligand-Severi tangents in MV-algebras., Monadic MV-algebras. II: Monadic implicational subreducts, Unital hyperarchimedean vector lattices, Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets, Optimal strategic reasoning with McNaughton functions, BCI-implicative ideals of BCI-algebras, Unnamed Item, A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system, Complete commutative basic algebras, Uniformly hyperarchimedean lattice-ordered groups, Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic, Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence, New torsion theory in unital abelian ℓ-groups, Representation of perfect and local MV-algebras, Convergence with a fixed regulator in lattice ordered groups and applications to MV-algebras, Consistency degrees of theories in some systems of propositional fuzzy logic, Representation and extension of states on MV-algebras, Which logic is the real fuzzy logic?, Loomis-Sikorski representation of monotone \(\sigma\)-complete effect algebras, Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids, Interpolation and Beth's property in propositional many-valued logics: a semantic investigation, Unnamed Item, Invariant observables and the individual ergodic theorem, Fuzzy propositional logic associated with quantum computational gates, An asymptotically tight bound on countermodels for Łukasiewicz logic, A Note on the Convex Structure of Uncertainty Measures on MV-algebras, On the Continuity of Probability on IF Sets, Forcing operators on MTL-algebras, Isometries and direct product decompositions of GMV-algebras, On direct limits of MV-algebras, Partial quantum logics revisited, On an explicit representation of the Łukasiewicz sum as a quantum operation, The sum of observables on a \(\sigma\)-distributive lattice effect algebra, Intuitionistic fuzzy reasoning using the method of optimizing the similarity of truth tables, States on EMV-algebras, Łukasiewicz logics for cooperative games, Semiring and Semimodule Issues in MV-Algebras, On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings, Lattice-ordered groups generated by an ordered group and regular systems of ideals, Conditional probability on \(\sigma\)-MV-algebras, Observables on perfect MV-algebras, Representation by triples of algebras with an MV-retract, Lattice-ordered effect algebras and L-algebras, On EMV-algebras, Mathematical fuzzy logic as a tool for the treatment of vague information, Commutator-finite D-lattices, Rough operations and uncertainty measures on MV-algebras, Good and bad infinitesimals, and states on pseudo MV-algebras, Sufficient triangular norms in many-valued logics with standard negation, Partial algebras for Łukasiewicz logics and its extensions, Coherence in the aggregate: a betting method for belief functions on many-valued events, Measures Induced by Units, Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples, Analysis of generalized square of opposition with intermediate quantifiers, A note on minimal axiomatisations of some extensions of MTL, Lexicographic MV-algebras and lexicographic states., Submeasures on nuanced MV-algebras., Operators on MV-algebras and their representations., Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem., A categorical equivalence for product algebras, Non-standard probability, coherence and conditional probability on many-valued events, Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability, On n ‐contractive fuzzy logics, Separating points of measures on effect algebras, On a cancellation rule for subdirect products of lattice ordered groups and of GMV-algebras, Simplicial structures in MV-algebras and logic, On lifting quasi-filters and strong lifting quasi-filters in MV-algebras, Unnamed Item, Unnamed Item, Unnamed Item, LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE, On weak convex MV-algebras, A set-theoretic proof of the representation of MV-algebras by sheaves, Unnamed Item, Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\), \(n\)-dimensional observables on \(k\)-perfect MV-algebras and \(k\)-perfect effect algebras. I: Characteristic points, Ideals of semisimple MV-algebras and convergence along set-theoretic filters, On bounded residuated \(\ell\)EQ-algebras, Monteiro's algebraic notion of maximal consistent theory for Tarskian logics, An elementary belief function logic, Rational Pavelka logic: the best among three worlds?, Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic, An algebraic semantics for possibilistic finite-valued Łukasiewicz logic, On the Boolean algebra induced by a unital \(\ell\)-group, \(Z^{\circ}\)-ideals and \(Z\)-ideals in \(MV\)-algebras, Structural and universal completeness in algebra and logic, An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic, Entropies and dynamical systems in Riesz MV-algebras, Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components, New perspectives on semi-primal varieties, Many-valued logic and sequence arguments in value theory, Separable MV-algebras and lattice-ordered groups, Conservative expansions of substructural logics, Unnamed Item, An effect-theoretic account of Lebesgue integration, AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS, Module Structure on Effect Algebras, Annihilator graphs of MV-algebras, Bratteli diagrams via the De Concini–Procesi theorem, Modal operators on bounded commutative residuated ℓ-monoids, A non-associative generalization of MV-algebras, Probability in quantum computation and quantum computational logics: a survey, MVW-rigs and product MV-algebras, Symmetric MV-Algebras, Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic, A Note on Representing and Interpreting MV-Algebras, Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case, Finitely Presented Abelian Lattice-Ordered Groups, Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops, Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions, Probability Theory on IF Events, Additive derivative and multiplicative coderivative operators on MV-algebras, ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS, Basic algebras, logics, trends and applications, Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups, MV-observables and MV-algebras, A proof of completeness for continuous first-order logic, Adding structure to MV-algebras, A Geometric Approach to MV-Algebras, Conditioning for Boolean Subsets, Indicator Functions and Fuzzy Subsets, Quotient structures in lattice effect algebras, Inverse topology in MV-algebras, Unnamed Item, Stable Non-standard Imprecise Probabilities, Free algebras in varieties of BL-algebras generated by a BL_n-chain, Exploring Infinitesimal Events through MV-algebras and non-Archimedean States, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Free nilpotent minimum algebras, Unnamed Item, Two Consistent Many-Valued Logics for Paraconsistent Phenomena, Belief Functions on MV-Algebras of Fuzzy Sets: An Overview, On the category of hyper MV‐algebras, Unnamed Item, WHAT THE ŁUKASIEWICZ AXIOMS MEAN, Every state on interval effect algebra is integral, Fuzzy Semi-Maximal and Fuzzy Radical Ideals in MV-Algebras, A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra, Effectiveness and multivalued logics, Unnamed Item, States on hyper MV-algebras, ALGEBRAIC EXPANSIONS OF LOGICS, MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS, Some results in types of extensions of MV-algebras, f-DERIVATIONS AND (f; g)-DERIVATIONS OF MV -ALGEBRAS, An example of a commutative basic algebra which is not an MV-algebra, On the Complexity of Non-reversible Betting Games on Many-Valued Events, Some remarks on infinitesimals in MV-algebras, Two notions of MV-algebraic semisimplicity relative to fixed MV-chains, Computing on Lattice-Ordered Abelian Groups, On Product MV-Algebras, Łukasiewicz Tribes are Absolutely Sequentially Closed Bold Algebras, UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS, Pseudo MV-algebras are intervals in ℓ-groups, From Classical to Fuzzy Type Theory, Unnamed Item, Commutative rings whose ideals form an MV-algebra, MV-Test Spaces Versus MV-Algebras, Profinite completions and MacNeille completions of finitely presented MV-algebras, Unnamed Item, Unnamed Item, Generalized versions of MV-algebraic central limit theorems, Unnamed Item, Corrigendum to “Semiring and semimodule issues in MV-algebras, Communications in Algebra 41:3 (2013), 1017–1048”, An algebraic analysis of categorical syllogisms by using Carroll’s diagrams, Unnamed Item, Injective and projective semimodules over involutive semirings, Unnamed Item, Unnamed Item, Unnamed Item, Spectral Topology on MV-Modules, Some Results on MV-Modules, N-Fold Obstinate Ideals in MV-Algebras, Perfect GMV-Algebras, Unnamed Item, Graded Generalized Hexagon in Fuzzy Natural Logic, Łukasiewicz Public Announcement Logic, THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS, SOME CLASSES OF STATE IDEALS IN STATE MV -ALGEBRAS, Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras, The Infinite-Valued Łukasiewicz Logic and Probability, Unnamed Item, Invariant Measures in Free MV-Algebras, Łukasiewicz and His Followers in Many-Valued Logic, Distinguishing standard SBL-algebras with involutive negations by propositional formulas, Some remarks on divisible polyhedral MV-algebras, Radical classes and weak radical mappings of GMV-algebras, Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, MV-modules of fractions, STRICT COHERENCE ON MANY-VALUED EVENTS, Coherence of the Product Law for Independent Continuous Events, Quantitative Logic Reasoning, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Quantum computational logic with mixed states, Unnamed Item, SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, On a homogeneity condition for MV-algebras, Negation in bounded commutative DRℓ-monoids, Weak homogeneity and Pierce’s theorem for MV-algebras, Faithful and Invariant Conditional Probability in Łukasiewicz Logic, Unnamed Item, Unnamed Item, A Para Consistent Fuzzy Logic, Applications of Finite Duality to Locally Finite Varieties of BL-Algebras, On Fuzzy Logic I Many‐valued rules of inference, On Free MV-Algebras, 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, On Varieties of Pseudo MV-Algebras, [https://portal.mardi4nfdi.de/wiki/Publication:3366657 An Algebraic Version of the Cantor-Bernstein-Schr�der Theorem], Isometries of generalized MV-algebras, Local bounded commutative residuated ℓ-monoids, Weak homogeneity of lattice ordered groups, Generic substitutions, Direct summands and retract mappings of generalized MV-algebras, Interior and closure operators on bounded residuated lattice ordered monoids, Generalizations of pseudo MV-algebras and generalized pseudo effect algebras, Join-semilattices whose sections are residuated PO-monoids, On a theorem of Cantor-Bernstein type for algebras, Fuzzy topology representation for MV-algebras, PROPERTY ANALYSIS OF TRIPLE IMPLICATION METHOD FOR APPROXIMATE REASONING ON ATANASSOVS INTUITIONISTIC FUZZY SETS, Unnamed Item, Conditionals and Independence in Many-Valued Logics, Unnamed Item, On some classes of state-morphism MV-algebras, Sheaf representations and locality of Riesz spaces with order unit, HyperMV-ideals in hyperMV-algebras, Glivenko theorems for substructural logics over FL, THE LOOMIS–SIKORSKI THEOREM FOR -ALGEBRAS, Consequence Relations with Real Truth Values, Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation, MOST RESULTS ON A-IDEALS IN MV -MODULES, FUZZY OBSTINATE IDEALS IN MV-ALGEBRAS