Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?

DOI10.1007/978-3-319-11041-7_11zbMATH Open1429.03058OpenAlexW1741214173MaRDI QIDQ5213614FDOQ5213614

Authors 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

intuitionistic logicnatural deductionaxiomatizationpredicate logicnatural languagePrawitzanaphorafusing operatorsPFOuniform definitionunselective binding.

Mathematics Subject Classification ID

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

Recommendations

• What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?
• Effect of the choice of connectives on the relation between classical logic and intuitionistic logic
• Combining intuitionistic connectives and Routley negation
• Between \(\mathrm{Int}_{\langle\omega,\omega\rangle}\) and intuitionistic propositional logic
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• Nonstandard connectives of intuitionistic propositional logic
• Semantic characterization of intuitionistic logical connectives
• scientific article; zbMATH DE number 1088204
• scientific article; zbMATH DE number 1140673
• Combining implicational quantifiers for equivalence ones by fuzzy connectives

Cites work

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

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

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