Uniform schemata for proof rules

DOI10.1007/978-3-319-08019-2_6zbMATH Open1433.03136OpenAlexW1581199567MaRDI QIDQ5175877FDOQ5175877

Authors: Ulrich Berger, Tie Hou 

Publication date: 25 February 2015

Published in: Language, Life, Limits (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08019-2_6

Recommendations

• scientific article; zbMATH DE number 1927428
• scientific article; zbMATH DE number 6938205
• Program development schemata as derived rules
• Uniform proofs as a foundation for logic programming
• Cut-elimination and proof schemata

zbMATH Keywords

semanticsrealizabilityproof calculilogic of computation

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Cited In (2)

• Title not available (Why is that?)
• Form invariance of schema and exact schema theorem

This page was built for publication: Uniform schemata for proof rules

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