Deductive Logic Calculus

From GM-RKB
(Redirected from deductive system)
Jump to: navigation, search

A Deductive Logic Calculus is a logic system with a finite set of allowable deductive logic operations that can form necessary conclusions.



References

2013

  1. Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Pres, 1971

1997

  • (Either et al, 1997) ⇒ Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. (1997). “A Deductive System for Non-Monotonic Reasoning.” In: Logic Programming and Nonmonotonic Reasoning.

1994