Algebraic Analysis of Many Valued Logics
From MaRDI portal
Publication:3253788
DOI10.2307/1993227zbMath0084.00704OpenAlexW4250120655MaRDI QIDQ3253788
Publication date: 1958
Full work available at URL: https://doi.org/10.2307/1993227
Related Items
Non-commutative Łukasiewicz propositional logic ⋮ A multiple-valued logic approach to the design and verification of hardware circuits ⋮ States on quantum and algebraic structures and their integral representation ⋮ On tense MV-algebras ⋮ Effect algebras with state operator ⋮ MV-pairs and state operators ⋮ A new approach for classification of filters in residuated lattices ⋮ Representations through a monoid on the set of fuzzy implications ⋮ Modal definability based on Łukasiewicz validity relations ⋮ Quantum conservative many-valued computing ⋮ Effect algebraic extensions of generalized effect algebras and two-valued states ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Unitizations of generalized pseudo effect algebras and their ideals ⋮ AF inverse monoids and the structure of countable MV-algebras ⋮ On annihilators in BL-algebras ⋮ A preliminary study of MV-algebras with two quantifiers which commute ⋮ The representation of square root quasi-pseudo-MV algebras ⋮ On symmetric left bi-derivations in BCI-algebras ⋮ Equational type characterization for \(\sigma\)-complete MV-algebras. ⋮ Removing the torsion from a unital group. ⋮ The variety generated by all the ordinal sums of perfect MV-chains ⋮ Representations of MV-algebras by Hilbert-space effects ⋮ Fuzzy prime Boolean filters and their operations in IMTL-algebras ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ The lexicographic product of po-groups and \(n\)-perfect pseudo effect algebras ⋮ Non-commutative logical algebras and algebraic quantales ⋮ MV-closures of Wajsberg hoops and applications ⋮ Which o-commutative basic algebras are effect algebras ⋮ States as morphisms ⋮ Compactly generated De Morgan lattices, basic algebras and effect algebras ⋮ Varieties generated by unital abelian \(\ell\)-groups ⋮ Invertible matrices and semilinear spaces over commutative semirings ⋮ Measure-free conditioning and extensions of additive measures on finite MV-algebras ⋮ New types of fuzzy filters of BL-algebras ⋮ Representation of states on effect-tribes and effect algebras by integrals ⋮ Derivations of MV-algebras ⋮ Intervals in \(l\)-groups as \(L\)-algebras ⋮ States on finite linearly ordered IMTL-algebras ⋮ An algebraic generalization of the notion of tribe ⋮ State operators on GMV algebras ⋮ A direct product decomposition of QMV algebras ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata ⋮ Bases in semilinear spaces over join-semirings ⋮ States on quantum structures versus integrals ⋮ State BL-algebras ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ The dual adjunction between MV-algebras and Tychonoff spaces ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras ⋮ Propositional dynamic logic for searching games with errors ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Quotients of dimension effect algebras ⋮ Fuzzy \(n\)-fold fantastic filters in BL-algebras ⋮ Representable effect algebras and observables ⋮ Coordinatizing some concrete MV algebras and a decomposition theorem ⋮ Computing power of Turing machines in the framework of unsharp quantum logic ⋮ Normal residuated lattices ⋮ Fuzzy logics and fuzzy model theory ⋮ Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) ⋮ Characterizations of fuzzy ideals in coresiduated lattices ⋮ Pseudo MV-algebras and lexicographic product ⋮ An extension of Stone duality to fuzzy topologies and MV-algebras ⋮ On derivations and their fixed point sets in residuated lattices ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ Olson order of quantum observables ⋮ On state residuated lattices ⋮ Generators of projective MV-algebras ⋮ Non-reversible betting games on fuzzy events: complexity and algebra ⋮ Centrally orthocomplete effect algebras ⋮ 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 ⋮ Type-decomposition of an effect algebra ⋮ Effect algebras are not adequate models for quantum mechanics ⋮ Generalized effect algebras of positive operators densely defined on Hilbert spaces ⋮ Partial and unsharp quantum logics. ⋮ States on finite monoidal t-norm based algebras ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ On fuzzy ideals in BCK/BCI-algebras ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Von Neumann algebras, \(L\)-algebras, Baer*-monoids, and Garside groups ⋮ Semitopological BL-algebras and MV-algebras ⋮ The Priestley duality for Wajsberg algebras ⋮ Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit ⋮ Quasivarieties and congruence permutability of Łukasiewicz implication algebras ⋮ Boolean skeletons of MV-algebras and \(\ell \)-groups ⋮ A note on Bosbach's cone algebras ⋮ The spectrum problem for abelian \(\ell\)-groups and MV-algebras ⋮ On the variety of Gödel MV-algebras ⋮ Spectral resolutions and observables in \(n\)-perfect MV-algebras ⋮ Double-negation elimination in some propositional logics ⋮ Varieties of BL-algebras ⋮ Finiteness based results in BL-algebras ⋮ Generating the variety of BL-algebras ⋮ Bounded commutative residuated \(\ell\)-monoids with general comparability and states ⋮ Representations of monadic MV-algebras ⋮ Łukasiewicz-Moisil relation algebras ⋮ Frames and MV-algebras ⋮ An example of a commutative basic algebra which is not an MV-algebra ⋮ BCK-monoids ⋮ On the Complexity of Non-reversible Betting Games on Many-Valued Events ⋮ Representable idempotent commutative residuated lattices ⋮ Fuzzy ideals of pseudo-BCK Algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Perfect MV-algebras and their logic ⋮ Semirings and pseudo MV algebras ⋮ Lattice of subalgebras in the finitely generated varieties of MV-algebras ⋮ Generalized versions of MV-algebraic central limit theorems ⋮ Strongly algebraically closed orthomodular near semirings ⋮ Unnamed Item ⋮ Subalgebras, direct products and associated lattices of MV-algebras ⋮ Are locally finite MV-algebras a variety? ⋮ Tensor product of dimension effect algebras ⋮ Unnamed Item ⋮ Possibility distributions generated by intuitionistic \textsf{L}-fuzzy sets ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ Relationship between hyper \(MV\)-algebras and hyperlattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categorical properties of compact Hausdorff MV-algebras ⋮ Sharp and fuzzy observables on effect algebras ⋮ Quasi product on Boolean D-posets ⋮ A basic algebra is an MV-algebra if and only if it is a BCC-algebra ⋮ Almost orthogonality and Hausdorff interval topologies of atomic lattice effect algebras ⋮ Proper semantics for substructural logics, from a stalker theoretic point of view ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Beth property in algebraic logic ⋮ On EMV-algebras with square roots ⋮ Linear \(L\)-algebras and prime factorization ⋮ State hoops ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On some extensions of the class of MV-algebras ⋮ Monadic MV-algebras. I: A study of subvarieties ⋮ Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras. ⋮ Monadic MV-algebras. II: Monadic implicational subreducts ⋮ Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces ⋮ MV-modules of fractions ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Complete commutative basic algebras ⋮ Boolean filters and positive implicative filters of residuated lattices ⋮ Fuzzy prime ideals of pseudo-MV algebras ⋮ Effect algebras with compressions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Hull mappings and dimension effect algebras ⋮ Representation of perfect and local MV-algebras ⋮ On decomposition of pseudo BL-algebras ⋮ A discrete representation of free MV-algebras ⋮ Convergence with a fixed regulator in lattice ordered groups and applications to MV-algebras ⋮ Observables, states, and symmetries in the context of CB-effect algebras ⋮ Some notes concerning fuzzy logics ⋮ Fuzzy Boolean and positive implicative filters of BL-algebras ⋮ No-cloning theorem on quantum logics ⋮ Loomis-Sikorski representation of monotone \(\sigma\)-complete effect algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids ⋮ Extensions of partially ordered partial abelian monoids ⋮ R 0-algebras and weak dually residuated lattice ordered semigroups ⋮ A Para Consistent Fuzzy Logic ⋮ An asymptotically tight bound on countermodels for Łukasiewicz logic ⋮ Subdirectly Irreducible MV-Algebras ⋮ Right \(l\)-groups, geometric Garside groups, and solutions of the quantum Yang-Baxter equation ⋮ On idempotent modifications of MV-algebras ⋮ Interval valued \((\in,\in\!\vee\,q)\)-fuzzy filters of pseudo BL-algebras ⋮ Representations of MV-algebras by sheaves ⋮ Forcing operators on MTL-algebras ⋮ Direct summands and retract mappings of generalized MV-algebras ⋮ PerfectMV-Algebras andl-Rings ⋮ Coexistence in interval effect algebras ⋮ Strong Poincaré recurrence theorem in MV-algebras ⋮ Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms ⋮ Automata theory based on unsharp quantum logic ⋮ On some classes of state-morphism MV-algebras ⋮ DERIVATIONS OF MV-ALGEBRAS FROM HYPER MV-ALGEBRAS ⋮ Bounded contraction and Gentzen-style formulation of Łukasiewicz logics ⋮ Conditional probability on \(\sigma\)-MV-algebras ⋮ On fuzzy hidden variables ⋮ Spectral resolutions in Dedekind \(\sigma\)-complete \(\ell\)-groups ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ Fuzzy filters of BL-algebras ⋮ THE LOOMIS–SIKORSKI THEOREM FOR -ALGEBRAS ⋮ Commutator-finite D-lattices ⋮ Good and bad infinitesimals, and states on pseudo MV-algebras ⋮ Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops ⋮ An invitation to economical test spaces and effect algebras ⋮ Boolean dominated MV-algebras ⋮ BL-algebra of fractions and maximal BL-algebra of quotients ⋮ Natural dualities for varieties of BL-algebras ⋮ Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups ⋮ DRl-semigroups and MV-algebras ⋮ Some results in types of extensions of MV-algebras ⋮ ON SEMI MAXIMAL FILTERS IN BL-ALGEBRAS ⋮ HvMV-ALGEBRAS II ⋮ Pseudo Commutative Double Basic Algebras ⋮ f-DERIVATIONS AND (f; g)-DERIVATIONS OF MV -ALGEBRAS ⋮ Unnamed Item ⋮ Computing on Lattice-Ordered Abelian Groups ⋮ Isometries and direct decompositions of pseudo MV-algebras ⋮ A non-commutative generalization of MV-algebras ⋮ On intervals and isometries of MV-algebras ⋮ Some Properties of Residuated Lattices ⋮ Pseudo MV-algebras are intervals in ℓ-groups ⋮ On lifting quasi-filters and strong lifting quasi-filters in MV-algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ MV-Test Spaces Versus MV-Algebras ⋮ Image File Compression Using Approximation and Fuzzy Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ States on implication basic algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An algebraic analysis of categorical syllogisms by using Carroll’s diagrams ⋮ Hyper BL-algebras ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Some Results on MV-Modules ⋮ N-Fold Obstinate Ideals in MV-Algebras ⋮ Direct product decomposition of $MV$-algebras ⋮ THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS ⋮ SOME CLASSES OF STATE IDEALS IN STATE MV -ALGEBRAS ⋮ Unnamed Item ⋮ Łukasiewicz and His Followers in Many-Valued Logic ⋮ ON DERIVATIONS OF PSEUDO-BL ALGEBRA ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The lattices of 𝔏-fuzzy state filters in state residuated lattices ⋮ Unnamed Item ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ STRICT COHERENCE ON MANY-VALUED EVENTS ⋮ Unnamed Item ⋮ Annihilator graphs of MV-algebras ⋮ Bratteli diagrams via the De Concini–Procesi theorem ⋮ (Dual) Hoops Have Unique Halving ⋮ Unnamed Item ⋮ (S,N)-Implications on Bounded Lattices ⋮ Unnamed Item ⋮ Natural dualities for varieties of MV-algebras. I ⋮ Regularity vs. constructive complete (co)distributivity ⋮ A non-associative generalization of MV-algebras ⋮ Uniqueness of the implication for totally ordered MV-algebras ⋮ Decidable and undecidable prime theories in infinite-valued logic ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case ⋮ Additive derivative and multiplicative coderivative operators on MV-algebras ⋮ Unnamed Item ⋮ The eal truth ⋮ Unnamed Item ⋮ Remarks on the order for quantum observables ⋮ Quantale-valued generalizations of approach spaces and quantale-valued topological spaces ⋮ Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences ⋮ Conditioning for Boolean Subsets, Indicator Functions and Fuzzy Subsets ⋮ Extensions of BCK-algebras ⋮ Spectrum Topology of a Residuated Lattice ⋮ Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras ⋮ Loomis-Sikorski theorem for monotone σ-complete effect algebras ⋮ Unnamed Item ⋮ Inverse topology in MV-algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Two Consistent Many-Valued Logics for Paraconsistent Phenomena ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Belief Functions on MV-Algebras of Fuzzy Sets: An Overview ⋮ On complete $MV$-algebras ⋮ Every state on interval effect algebra is integral ⋮ Soft HvMV-algebras ⋮ SOME PROPERTIES OF EXTENDED ORDER ALGEBRAS ⋮ WEAK EXTENDED ORDER ALGEBRAS HAVING ADJOINT TRIPLES ⋮ Sequential convergences on $MV$-algebras ⋮ Consequence Relations with Real Truth Values ⋮ Fuzzy stabilizers in BL-algebras ⋮ MOST RESULTS ON A-IDEALS IN MV -MODULES ⋮ FUZZY OBSTINATE IDEALS IN MV-ALGEBRAS ⋮ Fuzzy Semi-Maximal and Fuzzy Radical Ideals in MV-Algebras ⋮ Primary Filters in BL-algebras ⋮ A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra ⋮ On the Extension of D-Poset Valued Measures ⋮ Radical classes of MV-algebras ⋮ Some new axiomatic extensions of residuated logics ⋮ Simple, local and subdirectly irreducible state residuated lattices ⋮ L-algebras and topology ⋮ Commutative \(L\)-algebras and measure theory ⋮ Relative subalgebras of MV-algebras ⋮ Obstinate, weak implicative and fantastic filters of non commutative residuated lattices ⋮ Dioïds and semirings: Links to fuzzy sets and other applications ⋮ \(L\)-algebras and three main non-classical logics ⋮ Hyperfinite MV-algebras ⋮ Are basic algebras residuated structures? ⋮ Cyclic elements and subalgebras of GMV-algebras ⋮ Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices ⋮ Wajsberg algebras arising from binary block codes ⋮ The zero-divisor graphs of MV-algebras ⋮ MV-algebras as sheaves of \(\ell\)-groups on fuzzy topological spaces ⋮ Spectral properties of cBCK-algebras ⋮ Holistic and compositional logics based on the Bertini gate ⋮ Fuzzy representation of finite-valued quantum gates ⋮ Basic algebras and L-algebras ⋮ EBL-algebras ⋮ Locally \(\sigma \)-complete and locally complete EMV-algebras ⋮ Factor congruences in BCK-algebras ⋮ Geometrical aspects of possibility measures on finite domain MV-clans ⋮ Smearing of observables and spectral measures on quantum structures ⋮ Topological properties of operator generalized effect algebras ⋮ Characterization of residuated lattices via multipliers ⋮ On (para, quasi) topological MV-algebras ⋮ On the geometric theory of local MV-algebras ⋮ Compatibility of observables on effect algebras ⋮ \(n\)-fold integral ideals and \(n\)-fold Boolean ideals in BL-algebras ⋮ The structure group of a non-degenerate effect algebra ⋮ \(L\)-effect algebras ⋮ Spectral resolutions and quantum observables ⋮ Residuated skew lattices ⋮ On a class of subsemigroup lattices ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Dynamic Łukasiewicz logic and dynamic MV-algebras ⋮ Quantale-valued dissimilarity ⋮ Convex and linear effect algebras ⋮ The going up and going down theorems in MV-algebras and abelian \(l\)-groups ⋮ One chain generated varieties of MV-algebras ⋮ Conditioning a state by a Łukasiewicz event: a probabilistic approach to Ulam games ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation ⋮ Synaptic algebras as models for quantum mechanics ⋮ States, state operators and quasi-pseudo-MV algebras ⋮ Topological spaces of monadic MV-algebras ⋮ Structure and representation of semimodules over inclines ⋮ The lattice of prefilters of an EQ-algebra ⋮ The semiring-theoretic approach to MV-algebras: a survey ⋮ Kite pseudo effect algebras ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Roughness in MV-algebras ⋮ Sharp and meager elements in orthocomplete homogeneous effect algebras ⋮ Projective MV-algebras ⋮ Rota's Fubini lectures: the first problem ⋮ An independent set of axioms of MV-algebras and solutions of the set-theoretical Yang-Baxter equation ⋮ Foundations of fuzzy sets ⋮ On generalized versions of central limit theorems for IF-events ⋮ Beth definability and the Stone-Weierstrass theorem ⋮ Pseudo effect algebras are algebras over bounded posets ⋮ A paraconsistent many-valued similarity method for multi-attribute decision making ⋮ Solutions to two open problems in topological residuated lattices ⋮ Topological characterization of semisimple MV-algebras ⋮ Filter topologies and topological MV-algebras ⋮ Observables on synaptic algebras ⋮ Perfect effect algebras and spectral resolutions of observables ⋮ Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification ⋮ Topological characterization of filter topological MV-algebras ⋮ Residuated EQ-algebras may not be residuated lattices ⋮ Results on equality algebras ⋮ Equivalence à la Mundici for commutative lattice-ordered monoids ⋮ Coextensive varieties via central elements ⋮ Recent developments in inverse semigroup theory ⋮ Generalized pseudo-EMV-effect algebras ⋮ A variety containing EMV-algebras and Pierce sheaves of EMV-algebras ⋮ Closure operations on MV-algebras ⋮ A relationship between the category of chain MV-algebras and a subcategory of abelian groups ⋮ On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else} ⋮ Operations and structures derived from non-associative MV-algebras ⋮ \(R\)-norm entropy and \(R\)-norm divergence in product MV-algebras ⋮ States on EMV-algebras ⋮ Observables on perfect MV-algebras ⋮ Lattice-ordered effect algebras and L-algebras ⋮ Some weaker versions of topological residuated lattices ⋮ On EMV-algebras ⋮ AF-algebras with lattice-ordered \(K_0\): logic and computation ⋮ The existence of states based on Glivenko semihoops ⋮ The lattice of intuitionistic fuzzy filters in residuated lattices ⋮ A proof of the standard completeness for the involutive uninorm logic ⋮ State \(L\)-algebras and derivations of \(L\)-algebras ⋮ Dynamic Łukasiewicz logic and its application to immune system ⋮ A view on state operators in Sheffer stroke basic algebras ⋮ An alternative construction of graphs by associating with algorithmic approach on MV-algebras ⋮ Coherence in the aggregate: a betting method for belief functions on many-valued events ⋮ Set of support, demodulation, paramodulation: a historical perspective ⋮ Lexicographic MV-algebras and lexicographic states. ⋮ State BCK-algebras and state-morphism BCK-algebras. ⋮ Fractal properties of MV-algebra pastings. ⋮ Operators on MV-algebras and their representations. ⋮ \(L\)-fuzzy syntopogenous structures. I: Fundamentals and application to \(L\)-fuzzy topologies, \(L\)-fuzzy proximities and \(L\)-fuzzy uniformities ⋮ Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. ⋮ Poset products as relational models ⋮ Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus ⋮ \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic ⋮ Sharp and unsharp observables on \(\sigma \)-MV algebras -- a comparison with the Hilbert space approach ⋮ W-algebras which are Boolean products of members of SR[1 and CW- algebras] ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ Spectral resolution in a Rickart comgroup ⋮ Representation of Łukasiewicz' many-valued algebras ⋮ On standard models of fuzzy modal logics ⋮ Bernoulli automorphisms of finitely generated free MV-algebras ⋮ The universal group of a Heyting effect algebra ⋮ Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro ⋮ A common generalization for MV-algebras and Łukasiewicz-Moisil algebras ⋮ Decomposability of free Łukasiewicz implication algebras ⋮ Free products in the category of Abelian \(\ell\)-groups with strong unit ⋮ Algebraic analysis of fuzzy systems ⋮ A generalization of local fuzzy structures ⋮ Fuzzy propositional logics ⋮ Profinite MV-algebras and multisets. ⋮ State-morphism pseudo-effect algebras ⋮ Lexicographic pseudo MV-algebras ⋮ Some types of filters in residuated lattices ⋮ Intervals in generalized effect algebras ⋮ Generalization of integral filters in BL-algebras and \(n\)-fold integral BL-algebras. ⋮ Scalar extensions for algebraic structures of Łukasiewicz logic. ⋮ Gödel spaces and perfect MV-algebras ⋮ Chu connections and back diagonals between \(\mathcal{Q}\)-distributors ⋮ Central points and approximation in residuated lattices ⋮ Observables on quantum structures ⋮ An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words ⋮ Quantum structures versus partially ordered groups ⋮ Filters on some classes of quantum B-algebras ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ On two versions of the Loomis-Sikorski theorem for algebraic structures ⋮ Forcing in Łukasiewicz predicate logic ⋮ Free Łukasiewicz implication algebras ⋮ States on \(R_{0}\) algebras ⋮ Monadic GMV-algebras ⋮ Semi-simple and complete MV-algebras ⋮ Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras ⋮ Some kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebras ⋮ States on sharply dominating effect algebras ⋮ Complete and atomic algebras of the infinite valued Łukasiewicz logic ⋮ Priestley duality and quotient lattices of many-valued algebras ⋮ \(L\)-algebras, self-similarity, and \(l\)-groups ⋮ Ł\(\Pi\) logic with fixed points ⋮ A determination principle for algebras of \(n\)-valued Łukasiewicz logic ⋮ A characterization of interval-valued residuated lattices ⋮ MV-algebras with internal states and probabilistic fuzzy logics ⋮ Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi ⋮ States on polyadic MV-algebras ⋮ Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory ⋮ The completeness of the factor semantics for Łukasiewicz's infinite- valued logics ⋮ A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain ⋮ Girard couples of quantales ⋮ Representation of MV-algebras by regular ultrapowers of \([0,1\)] ⋮ Free products of unital \(\ell \)-groups and free products of generalized MV-algebras ⋮ Note on the construction of free MV-algebras ⋮ Divisibility groupoids -- again ⋮ Some kinds of \((\overline{\in},\overline{\in}\vee\overline q)\)-fuzzy filters of \(BL\)-algebras ⋮ Soft \(BL\)-algebras based on fuzzy sets ⋮ Paraconsistent semantics for Pavelka style fuzzy sentential logic ⋮ The coherence of Łukasiewicz assessments is NP-complete ⋮ The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) ⋮ Fuzzy structures of hyper-MV-deductive systems in hyper-MV-algebras ⋮ 0-homogeneous effect algebras ⋮ Congruences and ideals in pseudo effect algebras as total algebras ⋮ On filter theory of residuated lattices ⋮ Some types of generalized fuzzy filters of BL-algebras ⋮ Frink ideal topology of lattice effect algebras ⋮ A note on effect algebras and dimension theory of AF C\(^*\)-algebras ⋮ The pseudo-linear semantics of interval-valued fuzzy logics ⋮ Set theory for fuzzy sets of higher level ⋮ 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 ⋮ Rules of inference in fuzzy sentential logic ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ A problem of annihilator primes in MV-algebras ⋮ Convergence in perfect MV-algebras ⋮ On (\(\in,\in \vee q\))-fuzzy filters of BL-algebras ⋮ State-morphism MV-algebras ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Giles's game and the proof theory of Łukasiewicz logic ⋮ A note on intervals of residuated \(\ell \)-groupoids ⋮ Tensor products and the Loomis-Sikorski theorem for MV-algebras ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ A general Glivenko theorem ⋮ Weakly divisible MV-algebras and product ⋮ Conditioning on MV-algebras and additive measures. I ⋮ A survey on different triangular norm-based fuzzy logics ⋮ Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II ⋮ On the conditional expectation of observables in MV algebras of fuzzy sets ⋮ Fuzzy set representations of some quantum structures ⋮ On limit theorems in fuzzy quantum spaces ⋮ The Jegorov theorem on MV algebras ⋮ Decidable and undecidable MV-algebras ⋮ Prime ideals in free \(\ell\)-groups and free vector lattices ⋮ Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics ⋮ Finitely axiomatizable varieties of BCK-algebras ⋮ Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras ⋮ Logic of infinite quantum systems ⋮ Continuous lattice effect algebras admitting order-continuous states ⋮ Convex MV-algebras: many-valued logics meet decision theory ⋮ Local MV-algebras ⋮ On monadic MV-algebras ⋮ Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application ⋮ Kites and residuated lattices ⋮ On normal forms in Łukasiewicz logic ⋮ Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups ⋮ Morphisms on EMV-algebras and their applications ⋮ Fuzzy maximal ideals of BCI and MV algebras ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ Extensions of real-valued difference posets ⋮ Normal forms for fuzzy logic functions and their approximation ability ⋮ Fuzzy ideals of BCI and MV-algebras ⋮ Averaging the truth-value in Łukasiewicz logic ⋮ Generalized fuzzy connectives on \(MV\)-algebras ⋮ Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual ⋮ Study residuated lattice via some elements ⋮ Noncommutative version of Nikodym boundedness theorem for uniform space- valued functions ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ On values in relatively normal lattices ⋮ Compact linearly ordered effect algebras ⋮ Projective limits of \(MV\)-spaces ⋮ D-lattices ⋮ Quasilinear QMV algebras ⋮ Strong law of large numbers in D-posets ⋮ Compatibility in D-posets ⋮ On finite-valued propositional logical calculi ⋮ A simplified duality for implicative lattices and \(l\)-groups ⋮ Fuzzy implicative and Boolean ideals of \(MV\)-algebras ⋮ On transitivity of strict preference relations ⋮ Fuzzy conditional logic ⋮ The socle and fuzzy socle of a \(\text{BCI}\)-algebra ⋮ Normal forms of fuzzy formulas and their minimization ⋮ Word problems in Elliott monoids ⋮ Quantum MV algebras ⋮ Connection between MV\(_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. I ⋮ Towards understanding the Pierce-Birkhoff conjecture via MV-algebras ⋮ Topological MV-algebras ⋮ Stochastic independence for probability MV-algebras ⋮ Effect test spaces ⋮ M-zeroids: structure and categorical equivalence ⋮ Atomic effect algebras with the Riesz decomposition property ⋮ On normal-valued basic pseudo-hoops ⋮ Logical connectives on lattice effect algebras ⋮ Fuzzy \(\mathsf{H}_v\mathsf{MV}\)-algebras ⋮ An analysis of the logic of Riesz spaces with strong unit ⋮ MV-modules ⋮ Least \(V\)-quasivarieties of MV-algebras ⋮ Perfect Pavelka logic ⋮ Partial tense MV-algebras and related functions ⋮ Hyper effect algebras ⋮ MV-semirings and their sheaf representations ⋮ Monadic bounded residuated lattices ⋮ Derivations on algebras of a non-commutative generalization of the Łukasiewicz logic ⋮ On a class of residuated semilattice monoids ⋮ Generalised states: a multi-sorted algebraic approach to probability ⋮ Layers of zero probability and stable coherence over Łukasiewicz events ⋮ Density revisited ⋮ Weak QMV algebras and some ring-like structures ⋮ States and internal states on semihoops ⋮ Notes on divisible MV-algebras ⋮ \(C_n\mathrm{MV}_m\)-algebras ⋮ A topological duality for monadic MV-algebras ⋮ Localization of PMV-algebras ⋮ Logics for belief functions on MV-algebras ⋮ Congruences generated by ideals of the compatibility center of lattice effect algebras ⋮ On theories of random variables ⋮ MV-algebras with operators (the commutative and the non-commutative case). ⋮ Logical entropy of dynamical systems in product MV-algebras and general scheme ⋮ Equational characterization of all varieties of MV-algebras ⋮ Extending Stone duality to multisets and locally finite MV-algebras. ⋮ Some invariant skeletons for \(\ell\)-u groups and MV-algebras ⋮ One-sided orthogonality, orthomodular spaces, quantum sets, and a class of Garside groups ⋮ States and synaptic algebras ⋮ A Loomis-Sikorski theorem and functional calculus for a generalized Hermitian algebra ⋮ Introduction to neutrosophic BCI/BCK-algebras ⋮ Extensions of witness mappings ⋮ On the predicate logics of continuous t-norm BL-algebras ⋮ Pseudo-MV algebra of fractions and maximal pseudo-MV algebra of quotients ⋮ Tensor products of Hilbert space effect algebras ⋮ Pseudo difference posets and pseudo Boolean D-posets ⋮ Generalized MV-algebras ⋮ \(\bigstar\)-autonomous lattices ⋮ Effect algebras as presheaves on finite Boolean algebras ⋮ Monadic bounded hoops ⋮ On central limit theorems for IV-events ⋮ A general method for constructing left-continuous t-norms ⋮ Varieties of BL-algebras. I: General properties. ⋮ Some fuzzy concepts of BCI, BCK and MV-algebras ⋮ MV-algebras embedded in a CL-algebra ⋮ Pro-finite MV-spaces ⋮ Convex effect algebras, state ordered effect algebras, and ordered linear spaces ⋮ MV-algebras, multiple bets and subjective states ⋮ Strict MV-algebras ⋮ Algebraic structures in fuzzy logic ⋮ Geometrical methods in Wajsberg hoops ⋮ Wajsberg algebras and Post algebras ⋮ A measure-theoretic axiomatization of fuzzy sets ⋮ On weak convex MV-algebras ⋮ Interval convexity of scale effect algebras ⋮ Spectrality in convex sequential effect algebras ⋮ lfl: an R package for linguistic fuzzy logic ⋮ Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) ⋮ The geometry of discrete \(L\)-algebras ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ \(n\)-dimensional observables on \(k\)-perfect MV-algebras and \(k\)-perfect effect algebras. I: Characteristic points ⋮ On bounded residuated \(\ell\)EQ-algebras ⋮ An elementary belief function logic ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Involutive symmetric Gödel spaces, their algebraic duals and logic ⋮ An algebraic semantics for possibilistic finite-valued Łukasiewicz logic ⋮ \(Z^{\circ}\)-ideals and \(Z\)-ideals in \(MV\)-algebras ⋮ Some results on derivations of MV-algebras ⋮ New perspectives on semi-primal varieties ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Functorial representation theorems for MV\(_\Delta\) algebras with additional operators ⋮ MV-observables and MV-algebras ⋮ Sequent calculus and data fusion ⋮ Adding structure to MV-algebras
Cites Work
This page was built for publication: Algebraic Analysis of Many Valued Logics
