Institutional Repository

Browsing College of Science, Engineering and Technology by Author "Ohlbach, HJ"

Browsing College of Science, Engineering and Technology by Author "Ohlbach, HJ"

Sort by: Order: Results:

  • Deduction systems based on resolution 
    Eisinger, N; Ohlbach, HJ (South African Computer Society (SAICSIT), 1993)
    A general theory of deduction systems is presented The theory is illustrated with deduction systems based on the resolution calculus, in particular with clause graphs. This theory distinguishes four constituents of a ...
  • Quantifier elimination in second order predicate logic 
    Gabbay, D; Ohlbach, HJ (South African Computer Society (SAICSIT), 1992)
    An algorithm is presented which eliminates second-order quantifiers over predicate variables in formulae of type 3Pi , ...,Pn 1/; where 1/J is an arbitrary formula of first-order predicate logic. The resulting formula is ...

Search UnisaIR


Browse

My Account