A cut elimination theorem for stationary logic

DOI10.1016/0168-0072(87)90080-7zbMath0633.03051OpenAlexW2084909717MaRDI QIDQ1095904

Manfred E. Szabo

Publication date: 1987

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(87)90080-7

zbMATH Keywords

interpolationsubformula propertystationary logiccomplete cut-free labelled sequent calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75)

Related Items

Coherence in Cartesian closed categories and the generality of proofs ⋮ The Craig interpolation theorem in abstract model theory

Cites Work

• Unnamed Item
• New axiomatizations for logics with generalized quantifiers
• A correction to “stationary logic”
• Generalized Quantifiers and Compact Logic
• Stationary logic
• Logic with the quantifier “there exist uncountably many”
• Proof theory