Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency

DOI10.1007/978-3-030-71258-7_6MaRDI QIDQ5020166zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Paraconsistent logics (03B53) Intermediate logics (03B55)

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

Cites work

• Constructive negations and paraconsistency
• Contracting logics
• Four-valued paradefinite logics
• scientific article; zbMATH DE number 5872190 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• scientific article; zbMATH DE number 6276266 (Why is no real title available?)
• scientific article; zbMATH DE number 6276273 (Why is no real title available?)
• Ideal paraconsistent logics
• Logics of formal inconsistency
• Logics of formal inconsistency arising from systems of fuzzy logic
• Logics preserving degrees of truth from varieties of residuated lattices
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Maximality in finite-valued Łukasiewicz logics defined by order filters
• Metamathematics of fuzzy logic
• Modal logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Non-deterministic semantics for logics with a consistency operator
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• On the methodology of paraconsistent logic
• On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
• Paraconsistency and the need for infinite semantics
• Paraconsistency properties in degree-preserving fuzzy logics
• Paraconsistent fuzzy logic preserving non-falsity
• Paraconsistent logic: consistency, contradiction and negation
• Residuated fuzzy logics with an involutive negation
• Self-extensional three-valued paraconsistent logics
• Taking degrees of truth seriously
• Theory of effective propositional paraconsistent logics

Cited in

(3)

• On the logic that preserves degrees of truth associated to involutive Stone algebras
• On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
• On nilpotent minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions

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)