On Uniformly Constructive and Semiconstructive Formal Systems

DOI10.1093/JIGPAL/11.1.1MaRDI QIDQ4795874zbMATH OpenOpenAlexFDO

Authors Mauro Ferrari, Pierangelo Miglioli, Mario Ornaghi

Publication date 16 October 2003

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/11.1.1

zbMATH Keywords

constructive logicintermediate logiccut-eliminationdisjunction propertyinformation extractionrecursive realizabilityHeyting arithmeticexplicit definability propertycorrect program constructionHarrop theorynomalizationproof execution

Mathematics Subject Classification ID

Logic programming (68N17) Intermediate logics (03B55) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• A proof-theoretical analysis of semiconstructive intermediate theories
• scientific article; zbMATH DE number 4145898
• scientific article; zbMATH DE number 4089536
• scientific article; zbMATH DE number 4089535
• scientific article; zbMATH DE number 177798

Cited in

(7)

• A note on the strong and weak generative powers of formal systems
• Formal systems of constructive mathematics
• A proof-theoretical analysis of semiconstructive intermediate theories
• scientific article; zbMATH DE number 4145898 (Why is no real title available?)
• scientific article; zbMATH DE number 4089535 (Why is no real title available?)
• scientific article; zbMATH DE number 4089536 (Why is no real title available?)
• A complete and consistent formal system for sortals

This page was built for publication: On Uniformly Constructive and Semiconstructive Formal Systems

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