Logic of Proofs for Bounded Arithmetic

DOI10.1007/11753728_21zbMath1138.03324OpenAlexW1596968908MaRDI QIDQ3434694

Evan Goris

Publication date: 2 May 2007

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11753728_21

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Complexity of proofs (03F20)

Related Items (2)

Tracking Evidence ⋮ Symmetric Logic of Proofs

This page was built for publication: Logic of Proofs for Bounded Arithmetic