Machine Checking Proof Theory: An Application of Logic to Logic

DOI10.1007/978-3-540-92701-3_2MaRDI QIDQ3601798zbMATH OpenOpenAlexFDO

Authors 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

Mechanization of proofs and logical operations (03B35)

Recommendations

• Machine-checked proof-theory for propositional modal logics
• Proof checking and logic programming
• Proof checking and logic programming
• A proof theory for model checking
• scientific article; zbMATH DE number 1088222
• A proof theory for model checking: an extended abstract
• scientific article; zbMATH DE number 4053565
• A verified proof checker for higher-order logic
• scientific article; zbMATH DE number 3880145

Cites work

• scientific article; zbMATH DE number 1927419 (Why is no real title available?)
• On the proof theory of the modal logic for arithmetic provability
• Proof analysis in modal logic
• Provability interpretations of modal logic
• The modal logic of provability: cut-elimination
• Valentini's cut-elimination for provability logic resolved

Cited in

(5)

• scientific article; zbMATH DE number 3948225 (Why is no real title available?)
• Machine-checked interpolation theorems for substructural logics using display calculi
• Machine-checked meta-theory of dual-tableaux for intuitionistic logic
• A Machine Checked Soundness Proof for an Intermediate Verification Language
• Machine-checked proof-theory for propositional modal logics

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

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