Comments on predicative logic

DOI10.1007/S10992-005-9001-ZMaRDI QIDQ2499285zbMATH OpenOpenAlexFDO

Authors Fernando Ferreira

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

zbMATH Keywords

intuitionistic propositional logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 1028828
• scientific article; zbMATH DE number 1418444
• Predication in the logic of terms
• scientific article; zbMATH DE number 25707
• Predicate logics on display
• Predicate logical extensions of some subintuitionistic logics
• Logical predictivism
• Publication:4722029
• Predicate logics of constructive mathematical theories
• On prevarieties of logic

Cited in

(16)

• Commuting conversions vs. the standard conversions of the ``good connectives
• Atomic polymorphism and the existence property
• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
• A refined interpretation of intuitionistic logic by means of atomic polymorphism
• Rasiowa-Harrop disjunction property
• An elementary proof of strong normalization for atomic F
• scientific article; zbMATH DE number 25707 (Why is no real title available?)
• scientific article; zbMATH DE number 1028828 (Why is no real title available?)
• Atomic polymorphism
• Proof nets, coends and the Yoneda isomorphism
• scientific article; zbMATH DE number 7577586 (Why is no real title available?)
• The existential fragment of second-order propositional intuitionistic logic is undecidable
• How to avoid the commuting conversions of \textbf{IPC}
• Categorical proof-theoretic semantics
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
• The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof

This page was built for publication: Comments on predicative logic

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