Naturalizing natural deduction

2016

David DeVidi, Herbert Korté

in: Modern logic 1850-1950, East and West, Basel,

A new semantics for the epistemology of geometry I

modeling spacetime structure

1995

Herbert Korté

in: Reflections on spacetime, Berlin,

A new semantics for the epistemology of geometry II

epistemological completeness of Newton—Galilei and Einstein—maxwell theory

1995

Herbert Korté

in: Reflections on spacetime, Berlin,