|
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, 2006, Number 3, Pages 45–50
(Mi basm107)
|
|
|
|
Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A. Heyting
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 6-element non-chain extension of Intuitionistic logic is considered. The conditions permiting to determine the parametrical completeness of an arbitrary system of formulas in mentionted logic are established in terms of 13 parametrical pre-complete classes of formulas.
Keywords and phrases:
Intuitionistic logic, parametrical expressibility, parametrical completeness, pre-complete system.
Received: 25.08.2006
Citation:
Vadim Cebotari, “Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A. Heyting”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2006, no. 3, 45–50
Linking options:
https://www.mathnet.ru/eng/basm107 https://www.mathnet.ru/eng/basm/y2006/i3/p45
|
Statistics & downloads: |
Abstract page: | 188 | Full-text PDF : | 53 | References: | 30 | First page: | 1 |
|