Physics and proof theory

DOI10.1016/j.amc.2011.06.058zbMath1291.81015OpenAlexW2063386227WikidataQ41009955 ScholiaQ41009955MaRDI QIDQ2249005

Bruno Woltzenlogel Paleo

Publication date: 27 June 2014

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2011.06.058

zbMATH Keywords

proof theoryphysicsformalization of science

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Structure of proofs (03F07)

Related Items (1)

Proof Verification Technology and Elementary Physics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Axiomatizing relativistic dynamics without conservation postulates
• Theorem proving modulo
• Untersuchungen über das logische Schliessen. II
• Towards a clausal analysis of cut-elimination
• Reducing redundancy in cut-elimination by resolution
• Atomic Cut Introduction by Resolution: Proof Structuring and Compression
• Incorporating Tables into Proofs
• Superdeduction at Work
• Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
• Herbrand Sequent Extraction
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: Physics and proof theory