| 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 | URL: | http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p7-35.pdf | Abstract: | 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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.