Rasiowa-Harrop disjunction property

DOI10.1007/S11225-016-9704-XMaRDI QIDQ2363508zbMATH OpenOpenAlexFDO

Authors Gilda Ferreira

Publication date 19 July 2017

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-016-9704-x

zbMATH Keywords

natural deductionstrong normalizationintuitionistic propositional calculuspredicative polymorphismRasiowa-Harrop disjunction property

Mathematics Subject Classification ID

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

Recommendations

• On the computational content of intuitionistic propositional proofs
• Atomic polymorphism and the existence property
• The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof
• scientific article; zbMATH DE number 3853044
• A new solution to a problem of Hosoi and Ono

Cites work

• scientific article; zbMATH DE number 4139716 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• Atomic polymorphism
• Comments on predicative logic
• Commuting conversions vs. the standard conversions of the ``good connectives
• Instantiation overflow
• The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof
• \(\eta\)-conversions of IPC implemented in atomic F

Cited in

(3)

• A refined interpretation of intuitionistic logic by means of atomic polymorphism
• Atomic polymorphism and the existence property
• scientific article; zbMATH DE number 7577586 (Why is no real title available?)

This page was built for publication: Rasiowa-Harrop disjunction property

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