inference-rule

There are 0 repository under inference-rule topic.

/ Intro-to-Logic-in-Hebrew
clauses compactness first-order-logic hebrew inference-rule inference-rules latex literal literals literals-defined logic math parsing-tree pnf predicate-calculus propositional-logic semantic structural-induction syntax
/ avicenna-logic-system
A propositional logic system with truth tables, Lemmon-style proofs, parsing, rule detection for inference and replacement, and evaluation.
ast logic shunting-yard proposition-logic lemmon natural-deduction php inference-rule abstract-syntax-tree infix-to-postfix
Language:PHP