The Logic of FOL Systems: Formulated in Set Theory.

Richard W. Weyhrauch Carolyn L. Talcott

Published in: Logic, Language and Computation (1994)

Keyphrases

set theory
first order logic
partial order
multi dimensional
boolean algebra
rough sets
modal logic
image processing
image segmentation
fuzzy set theory
rough set theory
algebraic geometry
temporal logic
sequential patterns
real time
fuzzy sets
artificial intelligence
databases