Institutional Repository

Browsing College of Science, Engineering and Technology by Subject "Automatic theorem proving"

Browsing College of Science, Engineering and Technology by Subject "Automatic theorem proving"

Sort by: Order: Results:

  • The practice of clausification in automatic theorem proving 
    Sutcliffe, G; Melville, S (South African Computer Society (SAICSIT), 1996)
    In the process of resolution based Automatic Theorem Proving, problems expressed in First Order Form (FOF) are transformed by a clausifier to Clause Normal Form (CNF). This research examines and compares clausifiers. ...
  • Proof systems for propositional modal logic 
    Van der Vyver, Thelma (1997-11)
    In classical propositional logic (CPL) logical reasoning is formalised as logical entailment and can be computed by means of tableau and resolution proof procedures. Unfortunately CPL is not expressive enough and using ...

Search UnisaIR


Browse

My Account