2025-02-22T17:20:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22pp_isofts_kiev_ua-article-263%22&qt=morelikethis&rows=5
2025-02-22T17:20: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%22pp_isofts_kiev_ua-article-263%22&qt=morelikethis&rows=5
2025-02-22T17:20:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T17:20:38-05:00 DEBUG: Deserialized SOLR response
Logics of general non-deterministic predicates: semantic aspects

Logics of general non-deterministic predicates: semantic aspects

Semantic aspects of a new class of program-oriented logical formalisms – logics of general non-deterministic quasiary predicates (GND-predicates) – are considered. Сlasses of GND-predicates are singled out, their compositions and algebras are investigated. The language of pure first-order logics of...

Full description

Saved in:
Bibliographic Details
Main Authors: Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2018
Subjects:
logic
algebra
composition
non-deterministic predicate
logical consequence
UDC 004.42:510.69
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/263
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

2025-02-22T17:20:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22pp_isofts_kiev_ua-article-263%22&qt=morelikethis
2025-02-22T17:20:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22pp_isofts_kiev_ua-article-263%22&qt=morelikethis
2025-02-22T17:20:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T17:20:38-05:00 DEBUG: Deserialized SOLR response

Similar Items