UJDigispace Repository

Browsing Department of Mathematics (Pure and Applied Mathematics) (ETDs) by Subject "Logic"

Browsing Department of Mathematics (Pure and Applied Mathematics) (ETDs) by Subject "Logic"

Sort by: Order: Results:

  • Dorfling, Michael Jacobus (1999-02)
    The aim of the thesis is to develop game-theoretic techniques for dealing with common problems in model theory, mainly that of showing logical equivalence between structures, and to illustrate the effectiveness of the ...
  • Van der Straaten, Sjané Monique (2003)
    The basis for this study rests upon the question whether typical human reasoning is reliant upon the application of formal inference rules or not. Two major approaches on this topic, formal logic and mental model theory, ...

Search UJDigispace


Browse

My Account