Intuitionistic Existential Instantiation and Epsilon Symbol

Published in: CoRR (2012)

Keyphrases

linear logic
fuzzy set theory
interval valued
theorem prover
query answering
fuzzy information
classical logic
data sets
ontology based data access
fuzzy sets
real time
sample complexity
complexity analysis
description logics
control system
database systems
artificial intelligence
symbol recognition