Fuzzifying Topological Groups Based on Completely Distributive Residuated Lattice-Valued Logic (I).

Published in: ISMVL (1992)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
fuzzy sets
multi valued
logic programs
first order logic
truth values
automated reasoning
datalog programs
logic programming
decision making
software engineering
general purpose