Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?

DOI10.1007/978-3-319-11041-7_11zbMath1429.03058OpenAlexW1741214173MaRDI QIDQ5213614

Peter Pagin

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7_11

zbMATH Keywords

anaphoranatural languagenatural deductionintuitionistic logicpredicate logicaxiomatizationPrawitzfusing operatorsPFOuniform definitionunselective binding.

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Predicate logic with flexibly binding operators and natural language semantics
• Dynamic predicate logic

This page was built for publication: Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?