Articolul precedent |
Articolul urmator |
681 0 |
SM ISO690:2012 IZBASH, Olga, RUSU, Andrei. On absence of finite approximation relative to model completeness in the propositional provability logic. In: Conference of Mathematical Society of the Republic of Moldova, 19-23 august 2014, Chișinău. Chișinău: "VALINEX" SRL, 2014, 3, pp. 98-101. ISBN 978-9975-68-244-2. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Conference of Mathematical Society of the Republic of Moldova 3, 2014 |
||||||
Conferința "Conference of Mathematical Society of the Republic of Moldova" Chișinău, Moldova, 19-23 august 2014 | ||||||
|
||||||
Pag. 98-101 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
In the present paper we consider expressibility of formulas in the provability logic GL and related to it questions of model completeness of system of formulas. We prove the absence of finite approximation relative to model completeness in GL. |
||||||
Cuvinte-cheie expressibility of formulas, model completeness, provabilty logic, Diagonalizable algebra |
||||||
|
Google Scholar Export
<meta name="citation_title" content="On absence of finite approximation relative to model completeness in the propositional provability logic"> <meta name="citation_author" content="Izbash Olga"> <meta name="citation_author" content="Rusu Andrei"> <meta name="citation_publication_date" content="2014"> <meta name="citation_collection_title" content="Conference of Mathematical Society of the Republic of Moldova"> <meta name="citation_volume" content="3"> <meta name="citation_firstpage" content="98"> <meta name="citation_lastpage" content="101"> <meta name="citation_pdf_url" content="https://ibn.idsi.md/sites/default/files/imag_file/98_101_On%20absence%20of%20finite%20approximation%20relative%20to%20model%20completeness.pdf">