The Bernays - Schönfinkel - Ramsey class for set theory: decidability.

Eugenio G. Omodeo Alberto Policriti

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

Keyphrases

set theory
fuzzy set theory
description logics
mathematical morphology
real world
partial order
algebraic geometry
neural network
first order logic
pattern recognition
rough sets
databases
multiscale
image analysis