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

Francesco Dagnino Francesco Gavazzo

Published in: CoRR (2023)

Keyphrases

logical structure
artificial intelligence
temporal relations
decision trees
semantic relations
logical operations
real time
decision making
database systems
data structure
relational databases
temporal information
logical rules
logical theories