deductive systems Appears in 2 extracted records. Back to Domains. Representative papers Symbolic Logic with a Light Touch (2000) The Pythagorean Theorem as a Rooted In-tree Dependency Graph (2016)