Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Eckhardt, Timo"'
Autor:
Eckhardt, Timo, Pym, David J.
Proof-theoretic semantics, and base-extension semantics in particular, can be seen as a logical realization of inferentialism, in which the meaning of expressions is understood through their use. We present a base-extension semantics for public annou
Externí odkaz:
http://arxiv.org/abs/2411.15775
Autor:
Eckhardt, Timo, Pym, David
We develop a proof-theoretic semantics -- in particular, a base-extension semantics -- for multi-agent S5 modal logic (and hence also for the usual unindexed S5). Following the inferentialist interpretation of logic, this gives us a semantics in whic
Externí odkaz:
http://arxiv.org/abs/2403.19431
Autor:
Eckhardt, Timo, Pym, David J.
In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is give
Externí odkaz:
http://arxiv.org/abs/2401.13597
Autor:
Baldy, Jana, Bietz, Sabine, Eckhardt, Timo, Ernst, Andreas, Götzmann, Roman, Henle, Hans-Jörg, Hennchen, Benjamin, Joschko, Iris, Krumböck, Michael, Kruse, Sylvia, Kulse, Detlev, Meier, Matthias, Moschitz, Heidrun, Pregernig, Michael, Quendt, Johanna, Reisch, Lucia A., Schanz, Heiner, Schraff, Carola, Sipple, David, Thome, Anja
Kommunen gestalten Ernährung“, lautet der Titel der 153. Dokumentation des Deutschen Städte- und Gemeindebundes und des Verbundforschungsprojekts KERNiG (Kommunale Ernährungssysteme als Schlüssel zu einer umfassend-integrativen Nachhaltigkeitsg
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______245::1c8f477219d38bf66a33fc5ea4d7b992
https://orgprints.org/39188/
https://orgprints.org/39188/
Publikováno v:
Kriterion; 2017, Vol. 31 Issue 2, p55-99, 45p
