The Functional Interpretation of the Existential Quantifier

DOI10.1093/JIGPAL/3.2-3.243MaRDI QIDQ4842274zbMATH OpenOpenAlexFDO

Authors Ruy J. G. B. de Queiroz, Dov Gabbay

Publication date 18 February 1996

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/3.2-3.243

zbMATH Keywords

\(\exists\)-introductionformulae-as-types

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Model theory (03C99) Structure of proofs (03F07)

Recommendations

• Functional interpretation and the existence property
• scientific article; zbMATH DE number 2076242
• scientific article; zbMATH DE number 1163389
• Rules of existential quantification into ``intensional contexts
• Existential fixed-point logic, universal quantifiers, and topoi
• The functional interpretation of logical deduction
• scientific article; zbMATH DE number 3977009
• The collection principle and the existential quantifier
• On existential interpretability of structures

Cited in

(4)

• On reduction rules, meaning-as-use, and proof-theoretic semantics
• Functional interpretation and the existence property
• Natural Deduction for Equality: The Missing Entity
• Generalized quantification as substructural logic

This page was built for publication: The Functional Interpretation of the Existential Quantifier

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