Basic Properties of Quasivarieties

Janusz Czelakowski
Additional contact information
Janusz Czelakowski: Opole University, Institute of Mathematics and Informatics

Chapter Chapter 2 in The Equationally-Defined Commutator, 2015, pp 7-26 from Springer

Abstract: Abstract 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.

Keywords: Birkhoff Rules; Czelakowski; Birkhoff Equations; Consequence Operation; Rule Schema (search for similar items in EconPapers)
Date: 2015
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-21200-5_2

Ordering information: This item can be ordered from
http://www.springer.com/9783319212005

DOI: 10.1007/978-3-319-21200-5_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().