Substitution and Propositional Proof Complexity

DOI10.1007/978-3-030-71430-7_17MaRDI QIDQ5027247zbMATH OpenOpenAlexFDO

Authors Samuel R. Buss

Publication date 4 February 2022

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-71430-7_17

zbMATH Keywords

BegriffsschriftFregeFrege proofGrundgesetzelower boundsmultisubstitutionproof complexitysubstitution

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Recommendations

• The Complexity of Propositional Proofs with the Substitution Rule
• Proof complexity of substructural logics
• Propositional proof complexity
• The Complexity of Propositional Proofs
• The Complexity of Propositional Proofs
• scientific article; zbMATH DE number 1156870
• scientific article; zbMATH DE number 1860672
• Propositional logics complexity and the sub-formula property
• Logic of proofs with substitution
• scientific article; zbMATH DE number 1342249

Cites work

• A new hypothesis to account for the red-shift in the spectra of distant stars
• Banishing the rule of substitution for functional variables
• Essays on Frege's \textit {Basic laws of arithmetic}
• scientific article; zbMATH DE number 5964375 (Why is no real title available?)
• scientific article; zbMATH DE number 6111395 (Why is no real title available?)
• scientific article; zbMATH DE number 3904557 (Why is no real title available?)
• scientific article; zbMATH DE number 3557241 (Why is no real title available?)
• scientific article; zbMATH DE number 3583767 (Why is no real title available?)
• scientific article; zbMATH DE number 3618097 (Why is no real title available?)
• scientific article; zbMATH DE number 1237869 (Why is no real title available?)
• scientific article; zbMATH DE number 1342249 (Why is no real title available?)
• scientific article; zbMATH DE number 733396 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• Proof Complexity
• Propositional proof systems, the consistency of first order theories and the complexity of computations
• Russell's substitutional theory
• Some remarks on lengths of propositional proofs
• The Complexity of Propositional Proofs with the Substitution Rule
• The number of lines in Frege proofs with substitution
• The relative efficiency of propositional proof systems
• The Russell Archives: Some new light on Russell's logicism
• What types should not be

Cited in

(3)

• scientific article; zbMATH DE number 5910658 (Why is no real title available?)
• Theory and Applications of Satisfiability Testing
• Substitutions into propositional tautologies

This page was built for publication: Substitution and Propositional Proof Complexity

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