A Sequent Calculus for a Negative Free Logic

Gratzl, Norbert (2010): A Sequent Calculus for a Negative Free Logic. In: Studia Logica, Bd. 96, Nr. 3: S. 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.

• Dokumententyp: Zeitschriftenartikel
• Keywords: Free Logic; Cut-elimination; Compactness; Completeness
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie ; 100 Philosophie und Psychologie > 160 Logik
• ISSN: 0039-3215
• Sprache: Englisch