scientific article; zbMATH DE number 7367103

DOI10.24411/2500-0101-2018-13405zbMath1465.03066MaRDI QIDQ4999723

Yaroslav I. Petrukhin

Publication date: 2 July 2021

Full work available at URL: http://mathnet.ru/eng/chfmj117

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

zbMATH Keywords

four-valued logicnatural deduction systemregular logicKleene's logicsDunn-Belnap's logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• The logic of paradox
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Handbook of philosophical logic. Vol. 5
• Intuitive semantics for first-degree entailments and `coupled trees'
• A calculus of antinomics
• Kleene's Logic, Generalized
• Belnap's Four-Valued Logic and De Morgan Lattices
• AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
• Natural deduction for three-valued regular logics
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• A Precise Definition of an Inference (by the Example of Natural Deduction Systems for Logics $I_{\langle \alpha,\beta \rangle}$
• On notation for ordinal numbers
• The completeness of the first-order functional calculus

This page was built for publication: