Proof normalization with nonstandard objects

DOI10.1016/0304-3975(91)90186-6zbMath0736.03020OpenAlexW2077092840MaRDI QIDQ1178706

Shigeki Goto

Publication date: 26 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90186-6

zbMATH Keywords

natural deductionproof normalizationinfinite numbersBorkowski-Słupecki devicecomputation of a proof over stream objectsexistential elimination ruleformal proof systemsinfinitely long listslazy computation

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A proof description language and its reduction system
• Model theory.
• Toward automatic program synthesis
• Non-standard analysis

This page was built for publication: Proof normalization with nonstandard objects