Clones, closed categories, and combinatory logic.

Published in: CoRR (2024)

Keyphrases

logic programming
classical logic
modal logic
databases
computational properties
queueing networks
knowledge base
multi valued
proof theory
source code
software engineering
hierarchical structure
expert systems
probabilistic logic
logical framework
information systems
data sets
abductive reasoning
deontic logic