Rasiowa-Harrop disjunction property

DOI10.1007/s11225-016-9704-xzbMath1417.03278MaRDI QIDQ2363508

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 deduction; intuitionistic propositional calculus; strong normalization; predicative polymorphism; Rasiowa-Harrop disjunction property

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

03F07: Structure of proofs

03F03: Proof theory in general (including proof-theoretic semantics)

03B20: Subsystems of classical logic (including intuitionistic logic)