Second order logic or set theory?

Jouko A. Väänänen

Published in: Bull. Symb. Log. (2012)

Keyphrases

set theory
partial order
fuzzy set theory
first order logic
boolean algebra
rough sets
mathematical morphology
algebraic geometry
fuzzy sets
rough set theory
higher order
high order
model checker
real time
description logics
fuzzy logic
multiscale