Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency
From MaRDI portal
Publication:5020166
DOI10.1007/978-3-030-71258-7_6zbMath1495.03039OpenAlexW3191291153MaRDI QIDQ5020166
Marcelo E. Coniglio, Francesc Esteva, Lluís Godo, Joan Gispert i Brasó
Publication date: 4 January 2022
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-71258-7_6
Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Paraconsistent logics (03B53) Intermediate logics (03B55)
Cites Work
- Paraconsistency properties in degree-preserving fuzzy logics
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Ideal paraconsistent logics
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- Constructive negations and paraconsistency
- Non-deterministic semantics for logics with a consistency operator
- Taking degrees of truth seriously
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Self-extensional three-valued paraconsistent logics
- Four-valued paradefinite logics
- Paraconsistent fuzzy logic preserving non-falsity
- Residuated fuzzy logics with an involutive negation
- Paraconsistency and the need for infinite semantics
- Paraconsistent logic: consistency, contradiction and negation
- Contracting Logics
- Maximality in finite-valued Łukasiewicz logics defined by order filters
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
- Logics of formal inconsistency arising from systems of fuzzy logic
- On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
- Logics of Formal Inconsistency
- On the Methodology of Paraconsistent Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item