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