2025-02-22T18:38:02-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22pp_isofts_kiev_ua-article-364%22&qt=morelikethis&rows=5
2025-02-22T18:38:02-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-364%22&qt=morelikethis&rows=5
2025-02-22T18:38:02-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T18:38:02-05:00 DEBUG: Deserialized SOLR response
Relations of logical consequence in logics of partial predicates with composition of predicate complement

Relations of logical consequence in logics of partial predicates with composition of predicate complement

In this paper we study software-oriented logics of partial predicates with new special non-monotonic operation (composition) of the predicate complement. We denote these logics by LC and composition of the predicate complement by . Such operations are used in various versions of the Floyd-Hoare prog...

Full description

Saved in:
Bibliographic Details
Main Author: Shkilniak, O.S.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2019
Subjects:
logic
partial predicate
composition al­gebra
logical consequence
UDC 004.42:510.69
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/364
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://pp.isofts.kiev.ua/index.php/ojs1/article/view/364

Similar Items