| Gratzl, Norbert (2010): A Sequent Calculus for a Negative Free Logic. In: Studia Logica, Vol. 96, No. 3: pp. 331-348 |
|
|
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.
| Item Type: | Journal article |
|---|---|
| Form of publication: | Preprint |
| Keywords: | Free Logic; Cut-elimination; Compactness; Completeness |
| Faculties: | Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic |
| Subjects: | 100 Philosophy and Psychology > 100 Philosophy 100 Philosophy and Psychology > 160 Logic |
| URN: | urn:nbn:de:bvb:19-epub-18416-6 |
| ISSN: | 0039-3215 |
| Language: | English |
| ID Code: | 18416 |
| Deposited On: | 02. Mar 2014 10:25 |
| Last Modified: | 04. Nov 2020 13:00 |
Repository Staff Only: item control page
