6533b820fe1ef96bd127a310

RESEARCH PRODUCT

Quasivarieties of Algebras

Janusz Czelakowski

subject

Subdirect productAlgebraComputer scienceFree algebraEquational logicPropositional calculusExtension principle

description

This chapter plays a twofold role in the book. Firstly, the chapter surveys basic facts about quasivarieties of algebras. These facts are widely utilised in the subsequent chapters devoted to algebraizable logics. Secondly, the chapter shows how the methods initially elaborated for protoalgebraic sentential logics in the first part can be also applied in the area of equational logic. Most of the results presented in this chapter are proved by way of adapting the purely consequential methods of sentential logic to the needs of the (quasi) equational systems associated with quasivarieties of algebras.

yearjournalcountryeditionlanguage
2001-01-01
https://doi.org/10.1007/978-94-017-2807-2_6