Paraconsistency properties in degree-preserving fuzzy logics
From MaRDI portal
Publication:344078
DOI10.1007/s00500-014-1489-0zbMath1370.03032OpenAlexW2010758696MaRDI QIDQ344078
Francesc Esteva, Tommaso Flaminio, Lluís Godo, Rodolfo Ertola, Carles Noguera
Publication date: 22 November 2016
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10261/131113
mathematical fuzzy logicdegree-preserving fuzzy logicslogics of formal inconsistencyparaconsistent logics
Related Items
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ On similarity in fuzzy description logics ⋮ On Conjectures in t-Norm Based Fuzzy Logics ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ Paraconsistent Gödel modal logic ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The free \(n\)-generated BL-algebra
- Ideal paraconsistent logics
- Limits for paraconsistent calculi
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- T-norm-based logics with an independent involutive negation
- Taking degrees of truth seriously
- An algebraic approach to non-classical logics
- A semantical analysis of the calculi \(C_n\)
- The logic of paradox
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the structure of rotation-invariant semigroups
- A proof of standard completeness for Esteva and Godo's logic MTL
- Intuitive semantics for first-degree entailments and `coupled trees'
- Residuated fuzzy logics with an involutive negation
- Extensions of Priest-da Costa logic
- Fuzzy logics with an additional involutive negation
- On the theory of inconsistent formal systems
- Propositional calculus for contradictory deductive systems
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
- Algebraizable logics
- The Logic of Contradiction
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- Logics of formal inconsistency arising from systems of fuzzy logic
- Logics of Formal Inconsistency
- Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
- On n ‐contractive fuzzy logics
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
- Fuzzy sets
- On Some Varieties of MTL-algebras
