Proof internalization in generalized Frege systems for classical logic

DOI10.1016/J.APAL.2013.07.017zbMath1325.03021OpenAlexW1964468701MaRDI QIDQ392294

Yury Savateev

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.017

zbMATH Keywords

modal logicprovability logicjustification logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

An analytic calculus for the intuitionistic logic of proofs

Cites Work

• Deep sequent systems for modal logic
• Logic of proofs
• Explicit Provability and Constructive Semantics
• Unnamed Item

This page was built for publication: Proof internalization in generalized Frege systems for classical logic