Ultraproducts in abstract categorical logic.

Marc Aiguier Isabelle Bloch Romain Pascual

Published in: CoRR (2024)

Keyphrases

propositional dynamic logic
logic programming
multi valued
predicate logic
categorical data
numerical data
logical framework
classical logic
asynchronous circuits
low level
learning algorithm
modal logic
data sets
machine learning
formal theory
modal operators
proof theory
logic synthesis
neural network