Rasiowa-Harrop disjunction property

DOI10.1007/S11225-016-9704-XzbMATH Open1417.03278OpenAlexW2565706384MaRDI QIDQ2363508FDOQ2363508

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Commuting conversions vs. the standard conversions of the ``good connectives
• Comments on predicative logic
• Atomic polymorphism
• The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof
• Instantiation overflow
• \(\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
• Title not available (Why is that?)

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)