Open AccessDeviant truth-values algebras and deviant classes of general non-deterministic predicates
Author(s) -
Oksana Shkilniak
Publication year - 2019
Publication title -
problemy programmirovaniâ
Language(s) - English
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2019.01.014
Subject(s) - arity , correctness , predicate (mathematical logic) , truth value , rotation formalisms in three dimensions , monadic predicate calculus , mathematics , merge (version control) , discrete mathematics , first order logic , set (abstract data type) , computer science , algebra over a field , theoretical computer science , algorithm , programming language , pure mathematics , description logic , higher order logic , geometry , information retrieval