Logics of formal inconsistency based on distributive involutive residuated lattices

DOI10.1093/LOGCOM/EXAB029MaRDI QIDQ3382819zbMATH OpenOpenAlexFDO

Authors Francesc Esteva, Aldo Figallo Orellano, Tommaso Flaminio, Lluís Godo

Publication date 22 September 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/logcom/exab029

zbMATH Keywords

degree-preserving logicsdistributive involutive residuated latticeslogics of formal inconsistencyNelson latticesparaconsistent logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Logics of formal inconsistency arising from systems of fuzzy logic
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
• From logics of formal inconsistency to logics of formal classicality
• From Inconsistency to Incompatibility

Cited in

(10)

• Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Prelinearity in (quasi-)Nelson logic
• On logics of perfect paradefinite algebras
• Closure-based tractable possibilistic inference from partially ordered DL-Lite ontologies
• How to tractably compute a productive repair for possibilistic partially ordered DL-Lite\(_{\mathcal{R}}\) ontologies?
• On nilpotent minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions
• Super-Łukasiewicz logics expanded by
• (In)consistency operators on quasi-Nelson algebras
• Heyting algebras with Kalman-Galois connections

This page was built for publication: Logics of formal inconsistency based on distributive involutive residuated lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3382819)