Machine Checking Proof Theory: An Application of Logic to Logic

DOI10.1007/978-3-540-92701-3_2zbMath1209.03007OpenAlexW1558859407MaRDI QIDQ3601798

Rajeev Goré

Publication date: 12 February 2009

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92701-3_2

Mathematics Subject Classification ID

Related Items (2)

Machine-Checked Proof-Theory for Propositional Modal Logics ⋮ Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi

Cites Work

• Unnamed Item
• Unnamed Item
• The modal logic of provability: cut-elimination
• Proof analysis in modal logic
• Provability interpretations of modal logic
• On the proof theory of the modal logic for arithmetic provability

This page was built for publication: Machine Checking Proof Theory: An Application of Logic to Logic