Тип публикации: статья из журнала
Год издания: 1996
Аннотация: In the present article, we prove the theorem which states that every table modal logic λ of depth 2 over S4 has a finite basis of admissible inference rules. In addition, it is established that a finite algebra ℒ belongs to Fω(λ)Q iff there exist numbers n1…, nk such that (Lemma 5). Let F be a λ-frame of depth 2 and b a cluster ofПоказать полностьюthe second layer in F. We show that for any n1,…,nk, there exist no p-morphisms from (Fn1⊔…⊔Fnk)+ a local component K (b) such that, for any n, there is no p-morphism from any local component of Fn onto K (b) (Lemma 6).
Журнал: Algebra and Logic
Выпуск журнала: Т. 35, № 3
Номера страниц: 344-349
ISSN журнала: 00025232
Место издания: Новосибирск
Издатель: Springer New York Consultants Bureau