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

Recommendations

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

zbMATH Keywords

paraconsistent logicfour-valued logicparacomplete logicconsistency operatorclassicality operator

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Polyominoes (05B50)

Cited In (11)

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

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)