Paraconsistent set theory by predicating on consistency.

Walter Alexandre Carnielli Marcelo E. Coniglio

Published in: J. Log. Comput. (2016)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
rough sets
rough set theory
inference rules
fuzzy sets
mathematical morphology
logic programming
probability theory
algebraic geometry
real time
artificial intelligence
computer vision
databases