Institutional Repository

Browsing College of Science, Engineering and Technology by Subject "Global logical entailment"

Browsing College of Science, Engineering and Technology by Subject "Global logical entailment"

Sort by: Order: Results:

  • 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