The lattice of extensional connectives: A correction.

Lloyd Humberstone

Published in: J. Philos. Log. (1988)

Keyphrases

valued logic
lattice structure
truth values
inference rules
concept lattice
error correction
classical logic
data mining
artificial intelligence
search engine
expert systems
evolutionary algorithm
logic programs