scientific article

zbMath1364.03037MaRDI QIDQ2981255

Yaroslav I. Petrukhin

Publication date: 8 May 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

natural deductionfour-valued logicfirst degree entailmentclassical implicationcorrespondence analysisBelnap-Dunn logicimplicative extensions

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

Generalized correspondence analysis for three-valued logics ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Natural deduction for Fitting's four-valued generalizations of Kleene's logics ⋮ Unnamed Item ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Two-sided sequent calculi for \textit{FDE}-like four-valued logics ⋮ Natural deduction for three-valued regular logics ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Functional Completeness in CPL via Correspondence Analysis ⋮ The Method of Socratic Proofs Meets Correspondence Analysis