Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
DOI10.1007/978-3-030-71258-7_6zbMATH Open1495.03039OpenAlexW3191291153MaRDI QIDQ5020166FDOQ5020166
Authors: 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
Recommendations
- Paraconsistency properties in degree-preserving fuzzy logics
- On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
- A paraconsistent 3-valued logic related to Gödel logic G3
- Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
- Ideal paraconsistent logics
Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Paraconsistent logics (03B53) Intermediate logics (03B55)
Cites Work
- Modal logic
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Paraconsistent logic: consistency, contradiction and negation
- Title not available (Why is that?)
- Contracting logics
- Title not available (Why is that?)
- Logics of formal inconsistency
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Non-deterministic semantics for logics with a consistency operator
- Taking degrees of truth seriously
- Logics preserving degrees of truth from varieties of residuated lattices
- Constructive negations and paraconsistency
- On the methodology of paraconsistent logic
- Ideal paraconsistent logics
- Paraconsistent fuzzy logic preserving non-falsity
- Residuated fuzzy logics with an involutive negation
- Paraconsistency properties in degree-preserving fuzzy logics
- Logics of formal inconsistency arising from systems of fuzzy logic
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- Title not available (Why is that?)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Self-extensional three-valued paraconsistent logics
- Four-valued paradefinite logics
- Maximality in finite-valued Łukasiewicz logics defined by order filters
- Theory of effective propositional paraconsistent logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Paraconsistency and the need for infinite semantics
- On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
Cited In (2)
This page was built for publication: Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020166)
