#

inference-rule

Here are 2 public repositories matching this topic...

jafaripur / avicenna-logic-system

A propositional logic system with truth tables, Lemmon-style proofs, parsing, rule detection for inference and replacement, and evaluation.

php logic ast shunting-yard natural-deduction abstract-syntax-tree infix-to-postfix proposition-logic lemmon inference-rule

Updated Apr 8, 2025
PHP

LeafGreenRemake / Intro-to-Logic-in-Hebrew

syntax semantic latex math logic first-order-logic literals literal propositional-logic hebrew inference-rules compactness predicate-calculus clauses pnf parsing-tree literals-defined structural-induction inference-rule

Updated Aug 7, 2025

Improve this page

Add a description, image, and links to the inference-rule topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the inference-rule topic, visit your repo's landing page and select "manage topics."