A Sequent Calculus for a Negative Free Logic

Authors:
Norbert Gratzl
Affiliations:
Munich Center for Mathematical Philosophy, München, Germany 80539
Venue:
Studia Logica
Year:
2010

Citing 2
Cited 0

Basic proof theory

Basic proof theory
Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions

TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

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.