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