A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential.

Francesco Dagnino Francesco Gavazzo

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

logical structure
temporal relations
semantic relations
information retrieval
logical theories
logical operations
logical reasoning
logical properties
truth values
logical framework
decision making
machine learning
spatial relations
functional dependencies
pairwise
multi agent
image sequences