The number of axioms

DOI10.1016/J.APAL.2021.103078MaRDI QIDQ2120967zbMATH OpenOpenAlexWikidataFDO

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

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 eliminationLKnumber of axiomssequent calculus

Mathematics Subject Classification ID

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

Recommendations

• The number of proof lines and the size of proofs in first order logic
• On the number of steps in proofs
• scientific article; zbMATH DE number 1984264
• scientific article; zbMATH DE number 3895055
• The number of lines in Frege proofs with substitution

Cites work

• Lower bounds for increasing complexity of derivations after cut elimination
• Lower Bounds on Herbrand's Theorem
• Reflection principles and provability algebras in formal arithmetic
• The number of proof lines and the size of proofs in first order logic
• Unsound inferences make proofs shorter

Cited in

(3)

• The ubiquitous axiom
• Some Axioms for Mathematics
• Fundamental logic is decidable

This page was built for publication: The number of axioms

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