Browsing by Supervisor "Raftery, James G."

Browsing by Supervisor "Raftery, James G."

Sort by: Order: Results:

  • On the algebra of relevance logics 
    Wannenburg, Johann Joubert (University of Pretoria, 2016)
    After recalling some prerequisites from universal algebra in Chapter 1, we recount in Chapter 2 the general theory of deductive (logical) systems. As working examples, we consider the exponential-free fragment CLL of ...
  • Varieties of De Morgan Monoids 
    Wannenburg, Johann Joubert (University of Pretoria, 2020)
    De Morgan monoids are algebraic structures that model certain non-classical logics. The variety DMM of all De Morgan monoids models the relevance logic Rt (so-named because it blocks the derivation of true conclusions ...