A Sequent Calculus for a Negative Free Logic

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
• 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
• ISSN: 0039-3215
• Language: English