Axiom Systems for Category Theory in Free Logic (bibtex)

by Christoph Benzmüller, Dana S. Scott

Reference:

Axiom Systems for Category Theory in Free Logic (Christoph Benzmüller, Dana S. Scott), In Archive of Formal Proofs, pp. 1--12, 2018. (Note: verified data publication)

Bibtex Entry:

@article{J39, Author = {Christoph Benzm\"uller and Scott, Dana S.}, Keywords = {own, Automated Reasoning, Free Logic, Higher Order Logic, Category Theory}, Journal = {Archive of Formal Proofs}, Keywords = {own, Category Theory, Free Logic, Higher Order Logic, Semantical Embedding}, Addendum = {Note: verified data publication}, Title = {Axiom Systems for Category Theory in Free Logic}, Url = {https://www.isa-afp.org/entries/AxiomaticCategoryTheory.html}, Year = 2018, Pages = {1--12}, }