scientific article
From MaRDI portal
Publication:3375282
zbMath1094.03043MaRDI QIDQ3375282
Publication date: 7 March 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Structure of proofs (03F07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (10)
Proof analysis of Peirce's alpha system of graphs ⋮ Deep sequent systems for modal logic ⋮ A deep inference system for the modal logic S5 ⋮ PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC ⋮ The canonical pairs of bounded depth Frege systems ⋮ On the logical philosophy of assertive graphs ⋮ On the Proof Complexity of Cut-Free Bounded Deep Inference ⋮ The three dimensions of proofs ⋮ Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic ⋮ Cut elimination inside a deep inference system for classical predicate logic
This page was built for publication:
