Authors: Petrić, Zoran 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: 270 Minutes on Categorial Proof Theory
Series/Report no.: Zbornik radova
Volume: 18
Issue: 26
First page: 7
Last page: 35
Related Publication(s): Logic in Computer Science
Issue Date: 2015
Rank: M14
ISBN: 978-86-80593-57-9
The aim of these notes is to provide an introduction of basic categorial notions to a reader interested in logic and proof theory. The first part is devoted to justification of these notions through a cut elimination procedure. In the second part a classification of formulae up to isomorphism, and an example of coherence are given.
Keywords: sequent system | cut elimination | functor | natural transformation | adjunction | isomorphism | coherence
Publisher: Matematički institut SANU
Project: Representations of logical structures and formal languages and their application in computing 

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.