Sign in
A Formal Logic for Formal Category Theory.
Max S. New
Daniel R. Licata
Published in:
FoSSaCS (2023)
Keyphrases
</>
formal logic
formal methods
predicate logic
design theory
description logics
artificial intelligence
theoretical framework
general purpose
knowledge representation and reasoning