Results 61 to 70 of about 81 (74)
Some of the next articles are maybe not open access.
Prelinear Algebras in Relatively Regular Quasivarieties
Order, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Subquasivarieties of implicative locally‐finite quasivarieties
Mathematical Logic Quarterly, 2010AbstractA quasivariety is said to be implicative if it is generated by a class of algebras with equationally‐definable implication of equalities. Implicative finitely‐generated quasivarieties appear naturally within logic, for instance, as equivalent quasivarieties of Gentzen‐style calculi for finitely‐valued propositional logics with equality ...
openaire +2 more sources
Basic Properties of Quasivarieties
2015This 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 ...
openaire +1 more source