Open AccessDeviant truth-values algebras and deviant classes of general non-deterministic predicates
Author(s) -
Oksana Shkilniak
Publication year - 2019
Publication title -
problems in programming
Language(s) - English
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2019.01.014
Subject(s) - arity , predicate (mathematical logic) , correctness , truth value , rotation formalisms in three dimensions , mathematics , monadic predicate calculus , merge (version control) , first order logic , discrete mathematics , set (abstract data type) , computer science , algebra over a field , theoretical computer science , algorithm , pure mathematics , programming language , description logic , higher order logic , geometry , information retrieval
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom