View Related Documents

Abstract

An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain strongly algebraizable logics, all connectives defined implicitly by axiomatic extensions of the logic are explicitly definable.

Keywords  Algebraizable logics - quasivarieties - connectives - implicit and explicit definitions

Special issue of Studia Logica: ldquoAlgebraic Theory of Quasivarietiesrdquo Presented by M. E. Adams, K. V. Adaricheva, W. Dziobiak, and A. V. Kravchenko

Fulltext Preview

Image of the first page of the fulltext document