INCONSISTENCY LEMMAS IN ALGEBRAIC LOGIC
Abstract. In this paper, the inconsistency lemmas of intuitionistic and
classical propositional logic are formulated abstractly. We prove that,
when a (finitary) deductive system ` is algebraized by a variety...
, the existence of a DDT amounts
Key words and phrases. Deductive system, inconsistency lemma, protoalgebraic logic,
deduction-detachment theorem, algebraizable logic, pseudo-complement, filtral variety.
2 J.G. RAFTERY
to the equational definability of principal...