An arithmetic interpretation of intuitionistic verification.

Tudor Protopopescu

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

Keyphrases

fuzzy set theory
interval valued
image interpretation
semantic interpretation
model checking
computer vision
high level
theorem prover
linear logic
decision making
pattern recognition
modal logic
fuzzy numbers
face verification
formal methods
formal verification