Independence-friendly logic and axiomatic set theory.

Jaakko Hintikka

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
boolean algebra
rough sets
rough set theory
fuzzy sets
algebraic geometry
probability theory
mathematical morphology
conditional independence
morphological operations
probability distribution
model checker
information retrieval
description logics
databases