An Evidence Logic Perspective on Schotch-Jennings Forcing.

Tyler Brunet Gillman Payette

Published in: WoLLIC (2023)

Keyphrases

modal logic
empirical evidence
logic programming
databases
viewpoint
automated reasoning
multi valued
relational databases
set theory
logic synthesis
image sequences
expert systems
logic programs
classical logic
computational properties
asynchronous circuits