The Functional Interpretation of the Existential Quantifier

DOI10.1093/JIGPAL/3.2-3.243zbMath0831.03002OpenAlexW2074783198MaRDI QIDQ4842274

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

Publication date: 18 February 1996

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

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

zbMATH Keywords

formulae-as-types\(\exists\)-introduction

Mathematics Subject Classification ID

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

Related Items (3)

Generalized quantification as substructural logic ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ Natural Deduction for Equality: The Missing Entity

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