DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Frege system
Frege system
The Deduction Rule and Linear and Near-Linear Proof Simulations
Reflection Principles, Propositional Proof Systems, and Theories
Substitution and Propositional Proof Complexity
Proof Complexity in Algebraic Systems and Bounded Depth Frege Systems with Modular Counting
Automated Theorem Proving
Frege Systems
Plausibly Hard Combinatorial Tautologies
Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs
The Relative Efficiency of Propositional Proof Systems Author(S): Stephen A
The Epistemology of Natural Deduction Seyed Hassan Masoud
The Deduction Theorem for Strong Propositional Proof Systems
Proof Complexity of Non-Classical Logics
Yet Another Argument in Favour of NP = Conp
Understanding Gentzen and Frege Systems for QBF
By Bounded-Depth Frege
On the Deduction Rule and the Number of Proof Lines (Extended Abstract)
Proof Complexity
On Some Properties of Several Proof Systems for 2-Valued Propositional Logic
Top View
Theories for Subexponential-Size Bounded-Depth Frege Proofs∗
Exponential Lower Bounds for AC -Frege Imply Superpolynomial
The Cook-Reckhow Definition
Frege Systems
Lecture 10— ``Extended Frege and Interpolation''