Comments on predicative logic
From MaRDI portal
Publication:2499285
DOI10.1007/s10992-005-9001-zzbMath1101.03014OpenAlexW2026139892MaRDI QIDQ2499285
Publication date: 14 August 2006
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-005-9001-z
Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (11)
Rasiowa-Harrop disjunction property ⋮ A refined interpretation of intuitionistic logic by means of atomic polymorphism ⋮ Proof Nets, Coends and the Yoneda Isomorphism ⋮ Elementary Proof of Strong Normalization for Atomic F ⋮ The existential fragment of second-order propositional intuitionistic logic is undecidable ⋮ The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof ⋮ Atomic polymorphism ⋮ Unnamed Item ⋮ Atomic polymorphism and the existence property ⋮ Commuting conversions vs. the standard conversions of the ``good connectives ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
Cites Work
This page was built for publication: Comments on predicative logic
