Open AccessSemantic properties of five-valued logics
Author(s) -
Mykola S. Nikitchenko,
Olena Shyshatska
Publication year - 2018
Publication title -
problemy programmirovaniâ
Language(s) - Uncategorized
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2018.01.022
Subject(s) - t norm fuzzy logics , arity , mathematics , propositional variable , well formed formula , propositional calculus , propositional formula , truth value , satisfiability , predicate (mathematical logic) , equivalence (formal languages) , relation (database) , algebra over a field , rotation formalisms in three dimensions , non classical logic , computer science , logical equivalence , discrete mathematics , theoretical computer science , programming language , intermediate logic , description logic , logical consequence , pure mathematics , artificial intelligence , geometry , membership function , database , fuzzy set , fuzzy logic