Deduction as Reduction

12 years 11 months ago

Download hal.archives-ouvertes.fr

Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.

Dominique Duval

Real-time Traffic

Common Categorical Framework | CORR 2010 | Education | Graph Rewriting Systems | Improved Deduction Method |

claim paper

» Rewriting for Fitch Style Natural Deductions

» Inheritance with Overriding Without Nonmonotonic Reasoning in Datalog

» An Isomorphism Between CutElimination Procedure and Proof Reduction

» Refocusing Generalised Normalisation

» Strong Normalization of Classical Natural Deduction with Disjunction

» A dynamic programming approach to categorial deduction

» Nonviability Deductions in ArcConsistency Computation

» Using Boolean Constraint Propagation for Subclauses Deduction

Post Info
More Details (n/a)

Added	14 May 2011
Updated	14 May 2011
Type	Journal
Year	2010
Where	CORR
Authors	Dominique Duval

Comments (0)

Sciweavers

Deduction as Reduction

Common Categorical Framework | CORR 2010 | Education | Graph Rewriting Systems | Improved Deduction Method |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers