Vexing Vexillological Logic.

Kyle G. Burke Craig Tennenhouse

Published in: CoRR (2022)

Keyphrases

logic programming
multi valued
modal logic
predicate logic
sound and complete axiomatization
genetic algorithm
social networks
data model
classical logic
asynchronous circuits
data sets
neural network
artificial intelligence
knowledge base
formal language
formal theory