Please be advised that the site will be down for maintenance on Sunday, September 1, 2024, from 08:00 to 18:00, and again on Monday, September 2, 2024, from 08:00 to 09:00. We apologize for any inconvenience this may cause.
Browsing by Supervisor "Raftery, James G."
-
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 ...
-
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 ...