Independent Axioms for Infinite-Valued Logic.

Atwell R. Turquette

Published in: J. Symb. Log. (1963)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
first order logic
fuzzy sets
truth values
neural network
multi valued
logic programs
logic programming
software engineering
knowledge base
rough sets
inference rules
general purpose
fixpoint
artificial intelligence
real time