A Proof-Theoretic Semantics for Exclusion |
| |
| Authors: | Nissim Francez Michael Kaminski |
| |
| Institution: | 1.Computer Science dept,Technion-IIT,Haifa,Israel |
| |
| Abstract: | The paper provides a proof-theory (natural deduction and sequent calculus) for a negative presentation of classical logic based on a single primitive of exclusion (of variable arity), generalizing the known presentation via the binary ‘nand. The completeness is established via deductive equivalence to Gentzens NK/LK systems. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
