Concepedia
Multiple-Valued Logic · 2002 · 17 citations · 0 references
ComputingComputer ScienceMathematicsFormal MethodsKnowledge RepresentationLogicAxiomatic Set TheoryEquivalence CheckingMany-valued LogicPredicate LogicMany-valued SemanticsReasoning From SimilaritySimilarity ComputationSimilarity FunctionsSimilarity Reasoning