|
|||||
|
|
Gentzen-type formulation of the prepositional logic LQ |
|
| Authors: | Tsutomu Hosoi |
| Affiliation: | (1) Department of Information Sciences, Science University of Tokyo, Noda City, 278 Chiba, Japan |
| Abstract: | We give a Gentzen-type formulation GQ for the intermediate logic LQ and prove the cut-elimination theorem on it, where LQ is the propositional logic obtained from the intuitionistic propositional logic LI by adding the axioms of the form  AV A. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |