4 citations · 4 across the 4 of their papers we have counts for
5 papers
The Syntax Of Polytopal Projections: From Permutohedra To Associahedra
Miloš Adžić, Filip D. Jevtić
Tonks' projection from the permutohedron to the associahedron and the Loday--Ronco map both send permutations to planar binary trees. We give a syntactic account of these maps in t…
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…