|
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, 2010, Number 2, Pages 59–66
(Mi basm258)
|
|
|
|
Research articles
A criterion for parametrical completeness in the 8-valued algebraic model of modal logic $S5$
Vadim Cebotari Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, Chişinău, Moldova
Abstract:
The problem of parametrical completeness in the logic of 8-element topological Boolean algebra with trivial open elements is considered. The conditions permitting to determine the parametrical completeness of an arbitrary system of formulas in the mentioned logic are established in terms of 25 parametrical pre-complete classes of formulas.
Keywords and phrases:
modal formula, modal logic, parametrical expressibility, parametrical completeness, pre-complete system, Boolean algebra, open element, topological algebra.
Received: 02.02.2010
Citation:
Vadim Cebotari, “A criterion for parametrical completeness in the 8-valued algebraic model of modal logic $S5$”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2010, no. 2, 59–66
Linking options:
https://www.mathnet.ru/eng/basm258 https://www.mathnet.ru/eng/basm/y2010/i2/p59
|
Statistics & downloads: |
Abstract page: | 176 | Full-text PDF : | 45 | References: | 39 | First page: | 1 |
|