On Different Intuitionistic Calculi and Embeddings from Int to S4.
Uwe EglyPublished in: Stud Logica (2001)
Keyphrases
- sequent calculi
- cut elimination
- linear logic
- fuzzy set theory
- vector space
- interval valued
- fuzzy numbers
- sequent calculus
- low dimensional
- euclidean space
- theorem prover
- wide class
- manifold learning
- fuzzy information
- classical logic
- endpoints
- natural deduction
- qualitative spatial
- spatial relations
- dimensionality reduction
- fuzzy relations
- inference rules
- high dimensional data
- low dimensional spaces
- genetic algorithm
- qualitative spatial and temporal reasoning
- reasoning problems
- hilbert space
- logical framework
- face recognition