Tim Lethen

According to our database, Tim Lethen authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2025

The ineffability of God - a logical approach.

Tim Lethen

J. Appl. Non Class. Logics, April, 2025

2023

Gödel on Many-Valued Logic.

Tim Lethen

Rev. Symb. Log., September, 2023

A (machine-oriented) logic based on pattern matching.

Tim Lethen

Math. Struct. Comput. Sci., 2023

2021

The Development of Gödel's Ontological Proof.

Annika Kanckos, Tim Lethen

Rev. Symb. Log., 2021

A Talmudic norms approach to many-valued logic.

Tim Lethen

J. Log. Comput., 2021

Kurt Gödel on Logical, theological, and Physical antinomies.

Tim Lethen

Bull. Symb. Log., 2021