Instantiation overflow

DOI10.4467/20842589RM.16.002.5279MaRDI QIDQ2971275zbMATH OpenFDO

Authors Bruno Dinis, Gilda Ferreira

Publication date 4 April 2017

Full work available at URL https://doi.org/10.4467/20842589RM.16.002.5279

zbMATH Keywords

instantiation overflownatural deducationpredicative polymorphism

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07)

Recommendations

• A refined interpretation of intuitionistic logic by means of atomic polymorphism
• Atomic polymorphism and the existence property
• Atomic polymorphism
• scientific article; zbMATH DE number 1975407
• The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof

Cited in

(5)

• Atomic polymorphism and the existence property
• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
• A refined interpretation of intuitionistic logic by means of atomic polymorphism
• Rasiowa-Harrop disjunction property
• How to avoid the commuting conversions of \textbf{IPC}

This page was built for publication: Instantiation overflow

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