Towards a proof theory for Henkin quantifiers

DOI10.1093/LOGCOM/EXAA071MaRDI QIDQ5028310zbMATH OpenOpenAlexFDO

Authors Matthias Baaz, Anela Lolic

Publication date 8 February 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exaa071

zbMATH Keywords

cut eliminationHenkin quantifierssequent calculus

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• A globally sound analytic calculus for Henkin quantifiers
• scientific article; zbMATH DE number 25881
• Henkin quantifiers and complete problems
• scientific article; zbMATH DE number 2149377
• scientific article; zbMATH DE number 4053589

Cited in

(9)

• Henkin quantifiers and complete problems
• Degrees of logics with Henkin quantifiers in poor vocabularies
• A globally sound analytic calculus for Henkin quantifiers
• Note on globally sound analytic calculi for quantifier macros
• Towards a proof theory for quantifier macros
• Finite Quantification in Hierarchic Theorem Proving
• scientific article; zbMATH DE number 25881 (Why is no real title available?)
• scientific article; zbMATH DE number 2149377 (Why is no real title available?)
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)

This page was built for publication: Towards a proof theory for Henkin quantifiers

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