CRIS of TUM
Current Research Information System (CRIS) of the Technical University of Moldova (TUM) is an open access system gathering information and digital material relating to the various research and innovation entities and activities of TUM: researchers, research units, publications, patents, thesis, awards, events, equipment, services and other.
Please use this identifier to cite or link to this item:
http://cris.utm.md/handle/5014/447| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | RUSU, Elena | en_US |
| dc.contributor.author | RUSU, Andrei | en_US |
| dc.date.accessioned | 2020-04-28T13:33:29Z | - |
| dc.date.available | 2020-04-28T13:33:29Z | - |
| dc.date.issued | 2019 | - |
| dc.identifier.citation | RUSU, Andrei; RUSU, Elena. On completeness as to ¬-expressibility in a 4-valued provability logic. In: Proceedings IMCS-55The Fifth Conference of Mathematical Society of the Republic of Moldova. 28 septembrie - 1 octombrie 2019, Chișinău. Chișinău, Republica Moldova: Tipografia Valinex, 2019, pp. 142-145. ISBN 978-9975-68-378-4. | en_US |
| dc.identifier.isbn | 978-9975-68-378-4 | - |
| dc.identifier.uri | http://cris.utm.md/handle/5014/447 | - |
| dc.description.abstract | The simplest non-trivial 4-valued extension GL4 of the propositional provability logic GL is considered together with the notion of ¬-expressibility of formulas in GL. The necessary and sufficient conditions when a system of formulas of GL4 is complete relative to ¬-expressibility are found out which is formulated in terms of classes formulas that are pre-complete relative to ¬-expressibility. | en_US |
| dc.language.iso | en | en_US |
| dc.subject | provability logic | en_US |
| dc.subject | expressibility of formulas | en_US |
| dc.subject | completeness relative to ¬-expressibility | en_US |
| dc.title | On completeness as to ¬-expressibility in a 4-valued provability logic | en_US |
| dc.type | Article | en_US |
| dc.relation.conference | Conference of Mathematical Society of the Republic of Moldova | en_US |
| item.grantfulltext | open | - |
| item.languageiso639-1 | other | - |
| item.fulltext | With Fulltext | - |
| crisitem.author.dept | Department of Mathematics | - |
| crisitem.author.parentorg | Faculty of Mechanical, Industrial Engineering and Transport | - |
| Appears in Collections: | Proceedings Papers | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 142-145_8.pdf | 558.06 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.