Zobrazeno 1 - 10
of 68
pro vyhledávání: '"Engeler, Erwin"'
Autor:
Engeler, Erwin
The usual modelling of the syllogisms of the Organon by a calculus of classes does not include relations. Aristotle may however have envisioned them in the first two books as the category of relatives, where he allowed them to compose with themselves
Externí odkaz:
http://arxiv.org/abs/2007.04252
Autor:
Engeler, Erwin
Publikováno v:
Logical Methods in Computer Science, Volume 15, Issue 3 (July 29, 2019) lmcs:4860
Looking at MacLane's thesis on proof theory in the light of combinatory logic
Externí odkaz:
http://arxiv.org/abs/1809.11013
Autor:
Engeler, Erwin
Publikováno v:
The Bulletin of Symbolic Logic, 2012 Sep 01. 18(3), 413-417.
Externí odkaz:
https://www.jstor.org/stable/41575882
Diss. Nr. 2734 math. ETH Zürich 1958.
Externí odkaz:
http://e-collection.ethbib.ethz.ch/show?type=diss&nr=2734
Autor:
Engeler, Erwin
Publikováno v:
Logical Methods in Computer Science, 15 (3)
Looking at MacLane's thesis on proof theory in the light of combinatory logic
Logical Methods in Computer Science ; Volume 15, Issue 3 ; 1860-5974
Logical Methods in Computer Science ; Volume 15, Issue 3 ; 1860-5974
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb153bde7c900074e5a25dce0422cb78
Autor:
Engeler, Erwin
Publikováno v:
Dialectica, 1978 Jan 01. 32(3/4), 191-200.
Externí odkaz:
https://www.jstor.org/stable/42970314