11 citations · 72 across the 39 of their papers we have counts for
43 papers
Logic Lectures: Gödel's Basic Logic Course at Notre Dame
Milos Adzic, Kosta Dosen
An edited version is given of the text of Gödel's unpublished manuscript of the notes for a course in basic logic he delivered at the University of Notre Dame in 1939. Gödel's note…
Gödel's Natural Deduction
Kosta Dosen, Milos Adzic
This is a companion to a paper by the authors entitled "Gödel on deduction", which examined the links between some philosophical views ascribed to Gödel and general proof theory. W…
Gödel on Deduction
Kosta Dosen, Milos Adzic
This is an examination, a commentary, of links between some philosophical views ascribed to Gödel and general proof theory. In these views deduction is of central concern not only…
Gödel's Notre Dame Course
Milos Adzic, Kosta Dosen
This is a companion to a paper by the authors entitled "Gödel's natural deduction", which presented and made comments about the natural deduction system in Gödel's unpublished note…
Representing Conjunctive Deductions by Disjunctive Deductions
Kosta Dosen, Zoran Petric
A skeleton of the category with finite coproducts D freely generated by a single object has a subcategory isomorphic to a skeleton of the category with finite products C freely gen…
Graphs for Juncture
Kosta Dosen, Zoran Petric
An alternative foundation for 2-categories is explored by studying graph-theoretically a partial operation on 2-cells named juncture, which can replace vertical and horizontal comp…