Clones, closed categories, and combinatory logic.

Published in: FoSSaCS (2) (2024)

Keyphrases

classical logic
databases
software systems
logic programming
automated reasoning
sound and complete axiomatization

epistemic logic
digital circuits
source code
artificial intelligence
theorem proving

object detection
data streams
computer vision
predicate logic
formal theory

semantic categories
deontic logic
linear logic
broad categories
data mining