Da Costa meets Belnap and Nelson

DOI10.1007/978-3-319-06080-4_11MaRDI QIDQ5259662zbMATH OpenOpenAlexFDO

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)

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

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)