Login / Signup
Strong completeness of lattice-valued logic.
Mitio Takano
Published in:
Arch. Math. Log. (2002)
Keyphrases
</>
valued logic
classical logic
propositional logic
fuzzy logic
fuzzy sets
first order logic
logic programs
multi valued
automated reasoning
stable models
datalog programs
truth values
logic programming
control system
data analysis
rough sets
genetic algorithm
artificial intelligence