On Uniformly Constructive and Semiconstructive Formal Systems

From MaRDI portal

Publication:4795874

Jump to:navigation, search

DOI10.1093/jigpal/11.1.1zbMath1021.03053OpenAlexW1979622965MaRDI QIDQ4795874

Pierangelo Miglioli, Mauro Ferrari, Mario Ornaghi

Publication date: 16 October 2003

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

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

zbMATH Keywords

Heyting arithmetic cut-elimination disjunction property constructive logic intermediate logic information extraction recursive realizability explicit definability property correct program construction Harrop theory nomalization proof execution

Mathematics Subject Classification ID

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4795874&oldid=19102321"