Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2017 Number 3, Pages 63–66
(Mi vmumm72)
|
This article is cited in
2 papers
Short notes
Natural deduction system for three-valued Heyting's logic
Ya. I. Petrukhin Lomonosov Moscow State University, Faculty of Philosophy
Abstract:
A Gentzen-style natural deduction system for the propositional fragment
of three-valued Heyting's logic is presented in the paper.
Key words:
natural deduction system, Heyting's logic, three-valued logic.
UDC:
510.644 Received: 02.11.2016
© , 2026
Fulltext:
PDF file (304 kB)