Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
The paper has two parts preceded by quite comprehensive preliminaries. In the first part it is shown that a subvariety of the variety T of all tense algebras is discriminator if and only if it is semisimple. The variety T turns out to be the join of an increasing chain of varieties Dn, which are discriminator varieties. The argument carries over to all finite type varieties of boolean algebras with operators satysfying some term conditions. In the case of tense algebras, the varieties Dn can be further characterised by certain natural conditions on Kripke frames. In the second part it is shown that the lattice of subvarieties of Do has two atoms, the lattice of subvarieties of D1 has countably many atoms, and for n>1, the lattice of subvarieties of Dn has continuum atoms. The proof of the second of the above statements involves a rather detailed description of zero-generated simple algebras in D1. Almost all the arguments are cast in algebraic form, but both parts begin with an outline describing their contents from the dualpoints of view of tense logics.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
53--95
Opis fizyczny
Twórcy
autor
- Uniwersytet Jagielloński Katedra Logiki ul. Grodzka 52 31-044 Kraków, uzkowals@cyf-kr.edu.pl
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ1-0010-0046