| Articolul precedent |
| Articolul urmator |
 |
 843 2 |
| Ultima descărcare din IBN: 2022-12-18 10:16 |
 SM ISO690:2012IZBASH, Olga. About model completeness in the provability-intuitionistic logic and its extensions. In: Conference of Mathematical Society of the Republic of Moldova, 28 iunie - 2 iulie 2017, Chişinău. Chişinău: Centrul Editorial-Poligrafic al USM, 2017, 4, pp. 87-90. ISBN 978-9975-71-915-5. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Conference of Mathematical Society of the Republic of Moldova 4, 2017 |
||||||
|
Conferința "Conference of Mathematical Society of the Republic of Moldova" Chişinău, Moldova, 28 iunie - 2 iulie 2017 | ||||||
|
||||||
| Pag. 87-90 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
A. Kuznetsov proposed the provability-intuitionistic logic which is an original extension of the propositional intuitionistic logic. A numerable family of closed classes of formulas of the provability-intuitionistic logic which are model pre-complete in this logic and in its non tabular extensions is presented in this paper. |
||||||
| Cuvinte-cheie intuitionistic calculus, Provability-intuitionistic logic, pseudo-boolean algebras, model complete system |
||||||
|
|
|
|
