Fuzzy logics with an additional involutive negation
From MaRDI portal
Publication:2270236
DOI10.1016/j.fss.2009.09.003zbMath1189.03028OpenAlexW2072191370MaRDI QIDQ2270236
Petr Cintula, Mirko Navara, Erich Peter Klement, Radko Mesiar
Publication date: 18 March 2010
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2009.09.003
computational complexitycompactnesstriangular normtriangular conormmathematical fuzzy logiclattice of varietiesinvolutive negation
Related Items
Paraconsistency properties in degree-preserving fuzzy logics ⋮ T-norm-based logics with an independent involutive negation ⋮ Adjoint negations, more than residuated negations ⋮ Perfect Pavelka logic ⋮ Representation of fuzzy subsets by Galois connections ⋮ Algebraic structures related to nilpotent minimum algebras and rough sets1 ⋮ A unified approach to four important classes of unary operators ⋮ Equivalence operators that are associative ⋮ Signatures: definitions, operators and applications to fuzzy modelling ⋮ DeMorgan systems with an infinitely many negations in the strict monotone operator case ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ On a strong negation-based representation of modalities ⋮ On the solvability of bipolar max-product fuzzy relation equations with the standard negation ⋮ Implication operators generating pairs of weak negations and their algebraic structure ⋮ Multi-adjoint lattices from adjoint triples with involutive negation ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ On terminological issues regarding linguistic hedges
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the structure of semi-groups on a compact manifold with boundary
- Short note: on the redundancy of axiom (A3) in BL and MTL
- Two notions of compactness in Gödel logics
- Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras
- T-norm-based logics with an independent involutive negation
- A logic for reasoning about the probability of fuzzy events
- Ł\(\Pi\) logic with fixed points
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- A general class of fuzzy operators, the DeMorgan class of fuzzy operators and fuzziness measures induced by fuzzy operators
- Diagonals of continuous triangular norms
- Characterization of measures based on strict triangular norms
- Metamathematics of fuzzy logic
- The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
- Compactness of fuzzy logics.
- Triangular norms
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- A logical and algebraic treatment of conditional probability
- Varieties of BL-algebras. I: General properties.
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- On triangular norm-based propositional fuzzy logics
- Residuated fuzzy logics with an involutive negation
- Triangular norm based predicate fuzzy logics
- On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)
- Generalized rough approximations in Ł\(\Pi \frac{1}{2}\)
- Fuzzy class theory
- Weakly implicative (fuzzy) logics. I: Basic properties
- Sufficient triangular norms in many-valued logics with standard negation
- Partial algebras for Łukasiewicz logics and its extensions
- A note to the definition of the Ł\(\Pi\)-algebras
- On theories and models in fuzzy predicate logics
- Distinguishing standard SBL-algebras with involutive negations by propositional formulas
- Algebraizable logics
- Complexity and Definability Issues in LFormula
- Residuated logics based on strict triangular norms with an involutive negation
- Naturally Totally Ordered Commutative Semigroups
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- Adding structure to MV-algebras
