2025-02-23T06:22:03-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-23T06:22:03-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-23T06:22:03-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T06:22:03-05:00 DEBUG: Deserialized SOLR response
Секвенційні числення логік безкванторно-функціональних рівнів
Для безкванторно-функціональних логік та їх різновидів зі слабкою рівністю та строгою рівністю побудовано числення секвенційного типу. Такі числення формалізують відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку. Для цих числень доведено теореми коректності й повн...
Saved in:
| 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!
|