Login / Signup
Tim Lethen
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Valued Logic
Top Venues
Rev. Symb. Log.
Bull. Symb. Log.
Math. Struct. Comput. Sci.
J. Log. Comput.
</>
Publications
</>
Tim Lethen
A (machine-oriented) logic based on pattern matching.
Math. Struct. Comput. Sci.
33 (7) (2023)
Tim Lethen
Gödel on Many-Valued Logic.
Rev. Symb. Log.
16 (3) (2023)
Annika Kanckos
,
Tim Lethen
The Development of Gödel's Ontological Proof.
Rev. Symb. Log.
14 (4) (2021)
Tim Lethen
Kurt Gödel on Logical, theological, and Physical antinomies.
Bull. Symb. Log.
27 (3) (2021)
Tim Lethen
A Talmudic norms approach to many-valued logic.
J. Log. Comput.
31 (5) (2021)