Natural deduction system for three-valued Heyting’s logic
2017 ◽
Vol 72
(3)
◽
pp. 133-136
◽
2001 ◽
pp. 1-18
◽
2012 ◽
Vol 5
(4)
◽
pp. 720-730
◽
2012 ◽
Vol 21
(1)
◽
pp. 1-24
◽
2018 ◽
Vol 28
(6)
◽
pp. 1125-1187
◽
Keyword(s):