Commutative basic algebras and non-associative fuzzy logics

DOI10.1007/s00153-009-0125-7zbMath1168.03014MaRDI QIDQ1016506

Radomír Halaš, Michal Botur

Publication date: 6 May 2009

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-009-0125-7

zbMATH Keywords

MV-algebra; Łukasiewicz logic; Gödel logic; non-associative fuzzy logic

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03G25: Other algebras related to logic

06D35: MV-algebras

Related Items

MP-CLOSED SUBSETS IN BASIC ALGEBRAS, Unnamed Item, Pseudo Commutative Double Basic Algebras, Study strong Sheffer stroke non-associative MV-algebras by fuzzy filters, Axiomatization of non-associative generalisations of Hájek's BL and psBL, Properties of non-associative MV-algebras, Strong NMV-algebras, commutative basic algebras and naBL-algebras, On varieties of basic algebras, A non-associative generalization of Hájek's BL-algebras, States on commutative basic algebras, Tense operators on basic algebras, Pre-ideals of basic algebras, There exist subdirectly irreducible commutative basic algebras of an arbitrary infinite cardinality which are not MV-algebras, Operators on Pavelka's algebras induced by fuzzy relations, The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras, Material implications in lattice effect algebras, The propositional logic induced by means of basic algebras, Reduced axioms for the propositional logics induced by basic algebras, A non-associative generalization of effect algebras, Residuated structures and orthomodular lattices, The logic induced by effect algebras, Operations and structures derived from non-associative MV-algebras, Q-filters of quantum B-algebras and basic implication algebras, On residuation in multilattices: filters, congruences, and homomorphisms., Double basic algebras, Two kinds of parameterized metrics: construction, topological properties and applications, BCC-algebras and residuated partially-ordered groupoid, A representation of skew effect algebras, Interior and closure operators on commutative basic algebras, Very true on CBA fuzzy logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effect algebras and unsharp quantum logics.
• Towards more realistic (e.g., non-associative) ``and - and ``or-operations in fuzzy logic
• On copulas, quasicopulas and fuzzy logic
• Latent connectives in human decision making
• An introduction to copulas. Properties and applications
• Metamathematics of fuzzy logic
• Generalization of blocks for \(D\)-lattices and lattice-ordered effect algebras
• Algebraic foundations of many-valued reasoning
• A basic algebra is an MV-algebra if and only if it is a BCC-algebra
• Conjunctors and their residual implicators: characterizations and construction methods
• Complete commutative basic algebras
• Modeling holistic fuzzy implication using co-copulas
• Weakly implicative (fuzzy) logics. I: Basic properties
• Independence of axiom system of basic algebras
• MV-algebras: a variety for magnitudes with archimedean units
• An example of a commutative basic algebra which is not an MV-algebra
• Algebraic Analysis of Many Valued Logics
• Algebraizable logics
• Residuated Lattices