String Diagrams for Regular Logic (Extended Abstract).

Brendan Fong David I. Spivak

Published in: ACT (2019)

Keyphrases

extended abstract
data structure
logic programming
classical logic
modal logic
sound and complete axiomatization
epistemic logic
predicate logic
multi valued
string matching
automated reasoning
pattern matching
logical framework
computational properties
set theory
digital circuits
suffix tree
databases