Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency

DOI10.1007/978-3-030-71258-7_6zbMath1495.03039MaRDI 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

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B50: Many-valued logic

03B53: Paraconsistent logics

03B55: Intermediate logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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