Fuzzy Logics with Noncommutative Conjuctions
The logic BL (basic fuzzy logic) is inspired by continuous t-norms as possible truth functions of conjunction and by their residua as truth functions of implication. A general semantics is given by the variety of BL-algebras: each BL-algebra serves as an algebra of truth functions for connectives of fuzzy logic. Each continuous t-norm determines a BL-algebra with the domain \([0,1]\). Pseudo-BL-algebras are defined as BL-algebras without commutativity of (truth function of) conjunction. The class of all pseudo-BL-algebras is a variety. A natural modification of the logic BL having similar axioms as BL and having besides modus ponens a new rule is investigated. A modification of the logic BL with the unary Baaz projection is studied, too.
- EQ-algebras
- Nonstandard conjunctions and implications in fuzzy logic
- Non-commutative fuzzy structures and pairs of weak negations.
- On a new construction of pseudo BL-algebras
- Non-dual fuzzy connections
- Monadic bounded residuated lattices
- Fuzzy sets and formal logics
- An algebraic study of the logic \textbf{S5'(BL)}
- Triangular norm based predicate fuzzy logics
- Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
- Generalized Bosbach states. I
- Boolean filters and positive implicative filters of residuated lattices
- Very and more or less in non-commutative fuzzy logic
- What is mathematical fuzzy logic
- Fuzzy logics as the logics of chains
- Mathematical fuzzy logic as a tool for the treatment of vague information
- Strongly algebraically closed orthomodular near semirings
- From classical to fuzzy type theory
- Mathematical Fuzzy Logics
- Perfect GMV-Algebras
- Distinguishing standard SBL-algebras with involutive negations by propositional formulas
- Non-Archimedean fuzzy and probability logic
- On good EQ-algebras
- scientific article; zbMATH DE number 1526198 (Why is no real title available?)
- Some properties of \( L\)-fuzzy approximation spaces based on bounded integral residuated lattices
- EQ-Modules
- The semantics of fuzzy logics: two approaches to finite tomonoids
- Axiomatization of non-associative generalisations of Hájek's BL and psBL
- Observations on non-commutative fuzzy logic
- scientific article; zbMATH DE number 2209905 (Why is no real title available?)
- Introduction
- scientific article; zbMATH DE number 7687784 (Why is no real title available?)
- n-Fold Filters of EQ-Algebras
- Categorical approaches to non-commutative fuzzy logic
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics
- \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates
- Reduction of complexity using generators of pseudo-overlap and pseudo-grouping functions
- Some results on pseudo MV-algebras with square roots
- Non-commutative Bézout domains and pseudo MV-algebras
- Ambiguous representations of semilattices, imperfect information, and predicate transformers
- Pseudo-BL algebras and pseudo-effect algebras
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
- A generalization of local fuzzy structures
- Normal forms for fuzzy logics: a proof-theoretic approach
- On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator
- Representable good EQ-algebras
- Aglianò-Montagna type decomposition of linear pseudo hoops and its applications
This page was built for publication: Fuzzy Logics with Noncommutative Conjuctions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4434610)
