scientific article; zbMATH DE number 2020175

MaRDI QIDQ4440824zbMATH OpenFDO

Authors Anjolina de Oliveira, Ruy J. G. B. de Queiroz

Publication date 2003

zbMATH Keywords

natural deductionproof-netlogical flow graphgeometry of deductionmultiple-conclusion calculiproofs as graphsstructural properties of proofs

Mathematics Subject Classification ID

Structure of proofs (03F07) Complexity of proofs (03F20)

Recommendations

• Towards a geometry deductive database prover
• scientific article; zbMATH DE number 5046775
• scientific article; zbMATH DE number 1231506
• A refutational approach to geometry theorem proving
• A new graphical calculus of proofs
• Geometric theorem proving by integrated logical and algebraic reasoning
• A characterization theorem for geometric logic
• Logic beyond formulas: a proof system on graphs
• scientific article; zbMATH DE number 1745036

Cited in

(7)

• The geometry of non-distributive logics
• On strong normalization in proof-graphs for propositional logic
• Normalization of N-graphs via sub-N-graphs
• On multiple conclusion deductions in classical logic
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
• Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination
• scientific article; zbMATH DE number 1748578 (Why is no real title available?)

This page was built for publication:

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