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