Institutional Repository

Browsing by Subject "First-order logic"

Browsing by Subject "First-order logic"

Sort by: Order: Results:

  • Evaluating reasoning heuristics for a hybrid theorem proving platform 
    Ackermann, Jacobus Gideon (2018-06)
    The formalisation of first-order logic and axiomatic set theory in the first half of the 20th century—along with the advent of the digital computer—paved the way for the development of automated theorem proving. In the ...
  • Formal methods adoption in the commercial world 
    Nemathaga, Aifheli (2020-10)
    There have been numerous studies on formal methods but little utilisation of formal methods in the commercial world. This can be attributed to many factors, such as that few specialists know how to use formal methods. ...
  • Validating reasoning heuristics using next generation theorem provers 
    Steyn, Paul Stephanes (2009-01)
    The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that ...

Search UnisaIR

Browse

My Account