The number of axioms

DOI10.1016/J.APAL.2021.103078OpenAlexW4206319082WikidataQ114682920 ScholiaQ114682920MaRDI QIDQ2120967

J. Bydžovský, Juan P. Aguilera, Matthias Baaz

Publication date: 1 April 2022

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.2021.103078

zbMATH Keywords

cut eliminationsequent calculusLKnumber of axioms

Mathematics Subject Classification ID

Classical first-order logic (03B10) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Complexity of proofs (03F20)

Cites Work

• The number of proof lines and the size of proofs in first order logic
• Lower bounds for increasing complexity of derivations after cut elimination
• Reflection principles and provability algebras in formal arithmetic
• Lower Bounds on Herbrand's Theorem
• UNSOUND INFERENCES MAKE PROOFS SHORTER

This page was built for publication: The number of axioms