Natural deduction system for three-valued Heyting's logic

DOI10.3103/S002713221703007XzbMath1396.03048MaRDI QIDQ2403575

Yaroslav I. Petrukhin

Publication date: 8 September 2017

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22)

Related Items

Generalized correspondence analysis for three-valued logics ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Deduction normalization theorem for Sette's logic and its modifications

Cites Work

• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• The completeness of the first-order functional calculus
• Unnamed Item
• Unnamed Item