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 ...