On the logic that preserves degrees of truth associated to involutive Stone algebras

DOI10.1093/JIGPAL/JZY071MaRDI QIDQ3386910zbMATH OpenOpenAlexWikidataFDO

Authors Liliana M. Cantú, Martín Figallo

Publication date 8 January 2021

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzy071

zbMATH Keywords

Gentzen systemdegrees of truthinvolutive Stone algebraslogic of formal inconsistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Other algebras related to logic (03G25) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Recommendations

• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Logics preserving degrees of truth from varieties of residuated lattices
• scientific article; zbMATH DE number 2042610
• Note on a six-valued extension of three-valued logic
• Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency

Cited in

(4)

• From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
• On logics of perfect paradefinite algebras
• On the logic that preserves degrees of truth associated to involutive Stone algebras
• Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras

This page was built for publication: On the logic that preserves degrees of truth associated to involutive Stone algebras

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