A Sequent Calculus for a Negative Free Logic |
| |
| Authors: | Norbert Gratzl |
| |
| Affiliation: | 1.Munich Center for Mathematical Philosophy,München,Germany |
| |
| Abstract: | This article presents a sequent calculus for a negative free logic with identity, called N. The main theorem (in part 1) is the admissibility of the Cut-rule. The second part of this essay is devoted to proofs of soundness, compactness and completeness of N relative to a standard semantics for negative free logic. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
