da Costa Meets Belnap and Nelson

DOI10.1007/978-3-319-06080-4_11zbMath1347.03052OpenAlexW1824624134MaRDI QIDQ5259662

Katsuhiko Sano, Hitoshi Omori

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

four-valued logicparaconsistent logicparacomplete logicconsistency operatorclassicality operator

Mathematics Subject Classification ID

Polyominoes (05B50) Paraconsistent logics (03B53)

Related Items (9)

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

This page was built for publication: da Costa Meets Belnap and Nelson