A globally sound analytic calculus for Henkin quantifiers

DOI10.1007/978-3-030-36755-8_9zbMATH Open1485.03140OpenAlexW2996464291MaRDI QIDQ2177584

Matthias Baaz, Anela Lolic

Publication date: 6 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-36755-8_9

zbMATH Keywords

sequent calculuscut-eliminationHenkin quantifiers

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Logic with extra quantifiers and operators (03C80) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Towards a proof theory for quantifier macros

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Henkin quantifiers and complete problems 👍 👎
• Henkin and function quantifiers 👍 👎
• Note on globally sound analytic calculi for quantifier macros 👍 👎
• An analytic calculus for the intuitionistic logic of proofs 👍 👎
• Towards a proof theory for Henkin quantifiers 👍 👎
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS 👍 👎

This page was built for publication: A globally sound analytic calculus for Henkin quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177584)