6533b851fe1ef96bd12aa1c0

RESEARCH PRODUCT

Basic Properties of Quasivarieties

Janusz Czelakowski

subject

Pure mathematicsComputer Science::Logic in Computer ScienceLattice (order)Equational logicMathematics

description

This chapter supplies basic facts concerning quasivarieties and the equational systems associated with quasivarieties. Many of these facts are of syntactical character. An equational logic is an extension of the familiar Birkhoff’s logic. The narrative structure of the book is strictly linked with the properties of lattices of theories of equational logics. Examining these lattice requires formal tools. They are introduced in this part; some of them are new.

yearjournalcountryeditionlanguage
2015-01-01
https://doi.org/10.1007/978-3-319-21200-5_2