Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools

In this paper we study new classes of program-oriented logical formalisms – logics of general non-deter­ministic (GND) predicates. These logics reflect such properties of programs as nondeterminism, partiality, and non-fixed arity. GND-predicates can be modeled as 7-valued total deterministic (TD7...

Full description

Saved in:
Bibliographic Details
Date:2019
Main Author: Shkilniak, O.S.
Format: Article
Language:Ukrainian
Published: PROBLEMS IN PROGRAMMING 2019
Subjects:
logic
algebra
non-deterministic predicate
7-valued predicate
UDC 004.42:510.69
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/345
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming

Similar Items

Similar Items