نتایج جستجو برای: deduction
تعداد نتایج: 6306 فیلتر نتایج به سال:
2009
Gilles Dowek
Deduction modulo is an extension of first-order predicate logic where axioms are replaced by a congruence, modulo which deduction is performed. Like first-order predicate logic, Deduction modulo is a framework where many theories can be expressed, in particular predicative arithmetic [4] and impredicative arithmetic, usually called first-order and second-order arithmetic (terminology that we tr...
Journal:
:Information Processing Letters
2006
Journal:
:Electronic Notes in Theoretical Computer Science
2010
Journal:
:Electronic Notes in Theoretical Computer Science
2007
Journal:
:Notre Dame Journal of Formal Logic
1964
Journal:
:The Journal of Logic Programming
1997
Journal:
:CoRR
2010
Dominique Duval
Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید