Tim Lethen

According to our database¹, Tim Lethen authored at least 5 papers between 2021 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Gödel on Many-Valued Logic.

[BibT_eX]

[DOI]

Rev. Symb. Log., September, 2023

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

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2023

2021

The Development of Gödel's Ontological Proof.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2021

A Talmudic norms approach to many-valued logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2021

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

[BibT_eX]

[DOI]

Bull. Symb. Log., 2021