Institutional Repository

Browsing College of Science, Engineering and Technology by Subject "Classical propositional logic"

Browsing College of Science, Engineering and Technology by Subject "Classical propositional logic"

Sort by: Order: Results:

  • 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