Open AccessPure first-order quasiary logics with equality predicates
Author(s) -
Mykola S. Nikitchenko,
S.S. Shkilniak
Publication year - 2017
Publication title -
problemy programmirovaniâ
Language(s) - Uncategorized
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2017.02.003
Subject(s) - mathematics , sequent , completeness (order theory) , t norm fuzzy logics , correctness , rotation formalisms in three dimensions , discrete mathematics , algebra over a field , algorithm , computer science , pure mathematics , mathematical analysis , geometry , membership function , artificial intelligence , fuzzy set , fuzzy logic