On the Hierarchy of Intuitionistic Bounded Arithmetic.

Published in: J. Log. Comput. (2008)

Keyphrases

linear logic
fuzzy set theory
hierarchical organization
data sets
hierarchical structure
floating point
theorem prover
arithmetic operations
real time
case study
higher level
lower level
concept hierarchy
logical framework
hierarchical structures
interval valued