Logo Logo
Switch Language to German

Gratzl, Norbert (2010): A Sequent Calculus for a Negative Free Logic. In: Studia Logica, Vol. 96, No. 3: pp. 331-348 [PDF, 266kB]


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.

Actions (login required)

View Item View Item