2025-02-23T11:07:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-132088%22&qt=morelikethis&rows=5
2025-02-23T11:07:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-132088%22&qt=morelikethis&rows=5
2025-02-23T11:07:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T11:07:38-05:00 DEBUG: Deserialized SOLR response
Секвенційні числення логік безкванторно-функціональних рівнів

Секвенційні числення логік безкванторно-функціональних рівнів

Для безкванторно-функціональних логік та їх різновидів зі слабкою рівністю та строгою рівністю побудовано числення секвенційного типу. Такі числення формалізують відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку. Для цих числень доведено теореми коректності й повн...

Full description

Saved in:
Bibliographic Details
Main Authors: Шкільняк, С.С., Волковицький, Д.Б.
Format: Article
Language:Ukrainian
Published: Інститут проблем штучного інтелекту МОН України та НАН України 2016
Series:Штучний інтелект
Subjects:
Теорія та засоби обчислювального інтелекту
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/132088
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Для безкванторно-функціональних логік та їх різновидів зі слабкою рівністю та строгою рівністю побудовано числення секвенційного типу. Такі числення формалізують відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку. Для цих числень доведено теореми коректності й повноти. На базі теорем повноти отримано алгоритмічну розв’язність проблем наявності логічного наслідку для скінчених множин формул, проблем неспростовності та тотожної істинності для формул.

Similar Items