scientific article
From MaRDI portal
Publication:4010371
zbMath0755.03032MaRDI QIDQ4010371
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyclassical propositional logicpropositional proof systemscomplexity of proofsResolution\(p\)-simulationCut-free Gentzen systemsExtended Frege systemsFixed-depth Frege systemsQuantified Frege systemsTruth tables
Analysis of algorithms and problem complexity (68Q25) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05) Complexity of proofs (03F20)
Related Items
A proper hierarchy of propositional sequent calculi ⋮ From multiple sequent for additive linear logic to decision procedures for free lattices ⋮ Exponential lower bounds for the tree-like Hajós calculus ⋮ Interpolants, cut elimination and flow graphs for the propositional calculus ⋮ Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence ⋮ A Logical Autobiography
This page was built for publication:
