Mutual interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality.

Zlatan Damnjanovic

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

Keyphrases

set theory
fuzzy set theory
partial order
rough sets
first order logic
algebraic geometry
mathematical morphology
fuzzy sets
rough set theory
probability theory
neural network
fuzzy logic
co occurrence
description logics
high order
computer vision
genetic algorithm
machine learning