Browsing Department of Mathematics by Subject "Logic"

DSpace/Manakin Repository

Browsing Department of Mathematics 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

Advanced Search


My Account