Giters

SukritiGupta / Logic

Logic for Computer Science course projects

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

first-order-logiclogicanalytic-tableauxpropositional-logicnatural-deduction

#Logic

  1. Syntax and Semantics of Propositional Logic
  2. Analytic Tableaux
  3. Hilbert Style Proof System
  4. Natural Deduction
  5. Normalisation in Natural Deduction Proofs
  6. Terms, substitution, unification, resolution
  7. ROBDDs

About

Logic for Computer Science course projects

first-order-logiclogicanalytic-tableauxpropositional-logicnatural-deduction

Languages

Language:OCaml 100.0%