A logic for category theory

DOI10.1016/0304-3975(93)90188-YzbMath0791.18002MaRDI QIDQ685421

George K. Tsiknis, Paul C. Gilmore

Publication date: 7 July 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

self-referencereductionismfoundations of category theoryGentzen style deduction

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)

Related Items (2)

Logical foundations for programming semantics ⋮ A logic for category theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical foundations for programming semantics
• A logic for category theory
• Logic, sets, and mathematics
• Natural deduction based set theories: a new resolution of the old paradoxes
• Toward useful type-free theories. I

This page was built for publication: A logic for category theory