Natural deduction system for three-valued Heyting’s logic

Authors: Petrukhin Y.I.¹
Affiliations:
1. Moscow State University
Issue: Vol 72, No 3 (2017)
Pages: 133-136
Section: Brief Communications
URL: https://journal-vniispk.ru/0027-1322/article/view/164529
DOI: https://doi.org/10.3103/S002713221703007X
ID: 164529

Cite item

Full Text

Open Access

Open Access
Restricted Access

Restricted Access

Access granted
Restricted Access

Restricted Access

Subscription Access

Abstract
About the authors
References
Supplementary files
Statistics

Abstract

A Gentzen-style natural deduction system for the propositional fragment of three-valued Heyting’s logic is presented.

About the authors

Ya. I. Petrukhin

Moscow State University

Author for correspondence.
Email: yaroslav.petrukhin@mail.ru
Russian Federation, Leninskie Gory, Moscow, 119991

Supplementary files

Supplementary Files

Action

1. JATS XML

Copyright (c) 2017 Allerton Press, Inc.

TOP