Da Costa meets Belnap and Nelson

DOI10.1007/978-3-319-06080-4_11zbMATH Open1347.03052OpenAlexW1824624134MaRDI QIDQ5259662FDOQ5259662

Authors Hitoshi Omori, Katsuhiko Sano

Publication date 29 June 2015

Published in Recent Trends in Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06080-4_11

zbMATH Keywords

paraconsistent logicfour-valued logicparacomplete logicconsistency operatorclassicality operator

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Polyominoes (05B50)

Recommendations

• From logics of formal inconsistency to logics of formal classicality
• scientific article; zbMATH DE number 5519286
• scientific article; zbMATH DE number 551010
• Aspects of Paraconsistent Logic
• Revisiting da Costa logic

Cited in

(12)

• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа
• A cartography of LFIs and truth
• Correspondence analysis and automated proof-searching for first degree entailment
• Defining LFIs and LFUs in extensions of infectious logics
• Generalizing functional completeness in Belnap-Dunn logic
• О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE
• From logics of formal inconsistency to logics of formal classicality
• Semantical analysis of weak Kleene logics
• From paraconsistent logic to dialetheic logic
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Topological separation principles and logical theories
• 40 years of FDE: an introductory overview

This page was built for publication: Da Costa meets Belnap and Nelson

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