Quasi-Open Bisimilarity with Mismatch is Intuitionistic.

Ross Horne Ki Yung Ahn Shang-Wei Lin Alwen Tiu

Published in: LICS (2018)

Keyphrases

fuzzy set theory
theorem prover
linear logic
database
search engine
multimedia
web services
fuzzy logic
fuzzy sets
temporal logic
fuzzy numbers
classical logic
interval valued