Intuitionistic weak arithmetic.

Published in: Arch. Math. Log. (2003)

Keyphrases

theorem prover
arithmetic operations
linear logic
image processing
fuzzy set theory
classical logic
interval valued
database systems
rough sets
fuzzy numbers
databases
real world
learning algorithm
e learning
web services
natural deduction