A Logic of Sattestation.

Aaron D. Jaggard Paul Syverson Catherine Meadows

Published in: CoRR (2024)

Keyphrases

logic programming
automated reasoning
modal logic
databases
machine learning
multi valued
logical framework
classical logic
proof theory
predicate logic
asynchronous circuits
intuitionistic logic
database
logical operations
linear logic
deontic logic
computational properties
decision making
data sets