Proof complexity and textual cohesion

DOI10.1007/S10849-014-9212-1MaRDI QIDQ302177zbMATH OpenOpenAlexFDO

Authors Eli Dresner

Publication date 4 July 2016

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10849-014-9212-1

zbMATH Keywords

cohesionproof complexitytexturetext complexity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Complexity of proofs (03F20)

Recommendations

• The Complexity of Propositional Proofs
• Twelve Problems in Proof Complexity
• On meta complexity of propositional formulas and propositional proofs
• The depth of resolution proofs
• On complexity of statements and meaningful complexity of an axiomatic theory

Cites work

• scientific article; zbMATH DE number 1215500 (Why is no real title available?)
• scientific article; zbMATH DE number 481931 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• Proof theory. An introduction

Cited in

(5)

• On complexity of statements and meaningful complexity of an axiomatic theory
• Text structure and proof structure
• scientific article; zbMATH DE number 5529782 (Why is no real title available?)
• Essential structure of proofs as a measure of complexity
• scientific article; zbMATH DE number 3976852 (Why is no real title available?)

This page was built for publication: Proof complexity and textual cohesion

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