scientific article; zbMATH DE number 2020175
From MaRDI portal
Publication:4440824
zbMATH Open1036.03038MaRDI QIDQ4440824FDOQ4440824
Authors: Anjolina de Oliveira, Ruy J. G. B. de Queiroz 
Publication date: 2003
Title of this publication is not available (Why is that?)
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
natural deductionproof-netlogical flow graphgeometry of deductionmultiple-conclusion calculiproofs as graphsstructural properties of proofs
Cited In (7)
- The geometry of non-distributive logics
- On strong normalization in proof-graphs for propositional logic
- On multiple conclusion deductions in classical logic
- Normalization of N-graphs via sub-N-graphs
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
- Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination
- Title not available (Why is that?)
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)
