Title of article
INDEPENDENT BASES FOR ADMISSIBLE RULES IN PRETABLE LOGICS
Author/Authors
Rybakov، V. V. نويسنده , , Kiyatkin، V. R. نويسنده , , Terziler، M. نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
-118
From page
119
To page
0
Abstract
Independent bases of admissible inference rules are studied; namely, we treat inference rules in pretable modal logics over S4. and in pretable superintuitionistic logics. The MaksimovaEsakia-Meskhi theorem holds that there exist exactly five pretable S4-logics and precisely three pretable superintuitionistic ones. We argue that all pretable modal logics and all pretable superintuitionistic logics have independent bases for admissible inference rules.
Keywords
Polymer latex , drying , Film formation , morphology , surfactants , Plasticisers , Pigment volume fraction
Journal title
Algebra and Logic
Serial Year
2000
Journal title
Algebra and Logic
Record number
38935
Link To Document