Intuitionistic Light Affine Logic.
Andrea AspertiLuca RoversiPublished in: ACM Trans. Comput. Log. (2002)
Keyphrases
- classical logic
- linear logic
- natural deduction
- cut elimination
- logical framework
- logic programming
- modal logic
- sequent calculus
- fuzzy set theory
- affine transformation
- fuzzy numbers
- automated reasoning
- digital circuits
- multi valued
- database
- proof theory
- proof search
- piecewise affine
- set theory
- computational properties
- theorem prover
- fuzzy logic
- three dimensional
- artificial intelligence
- data sets