Atomic polymorphism and the existence property

DOI10.1016/j.apal.2018.08.004OpenAlexW2887485123WikidataQ129395422 ScholiaQ129395422MaRDI QIDQ1799037

Gilda Ferreira

Publication date: 18 October 2018

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10400.2/9416

zbMATH Keywords

normalizationnatural deductionexistence propertyfaithfulnesspredicative polymorphismintuitionistic predicate calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof
• Commuting conversions vs. the standard conversions of the ``good connectives
• Rasiowa-Harrop disjunction property
• Comments on predicative logic
• η-conversions of IPC implemented in atomic F
• Atomic polymorphism

This page was built for publication: Atomic polymorphism and the existence property