A sequent calculus for a negative free logic

DOI10.1007/s11225-010-9293-zzbMath1218.03004OpenAlexW2149122857MaRDI QIDQ622624

Norbert Gratzl

Publication date: 3 February 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://epub.ub.uni-muenchen.de/18416/1/Preprint_SequentCalculusNegativeFreeLogic.pdf

zbMATH Keywords

free logiccompletenesscompactnesscut-elimination

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in the philosophy of science (03A10)

Related Items (6)

A more unified approach to free logics ⋮ Neutral free logic: motivation, proof theory and models ⋮ GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC ⋮ Free logics are cut-free ⋮ PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS ⋮ Atomic ontology

Cites Work

• Proof theory. 2nd ed
• Untersuchungen über das logische Schliessen. II
• DISTRIBUTIVE NORMAL FORMS AND DEDUCTIVE INTERPOLATION
• An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions
• New essays in free logic. In honour of Karel Lambert
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A sequent calculus for a negative free logic