Intuitionistic Metric Temporal Logic.

Luiz De Sá Bernardo Toninho Frank Pfenning

Published in: PPDP (2023)

Keyphrases

metric temporal logic
linear logic
fuzzy set theory
interval valued
fuzzy information
theorem prover
fuzzy numbers
classical logic
fuzzy sets
natural deduction
information retrieval
feature selection
data structure
natural language