A Formal Logic for Formal Category Theory.

Max S. New Daniel R. Licata

Published in: CoRR (2022)

Keyphrases

formal logic
formal methods
predicate logic
description logics
design theory
theoretical framework
artificial intelligence
information systems
logic programming
formal specification
natural language
language learning