An Intuitionistic Axiomatization of 'Eventually'.

Martín Diéguez David Fernández-Duque

Published in: Advances in Modal Logic (2018)

Keyphrases

linear logic
interval valued
theorem prover
fuzzy set theory
situation calculus
fuzzy numbers
fuzzy information
computer vision
image processing
fuzzy relations
learning algorithm
data analysis
control system
real valued
logical framework