Timm Lampert

According to our database, Timm Lampert authored at least 6 papers between 2008 and 2021.

Collaborative distances:

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

2021

Wittgenstein's Elimination of Identity for Quantifier-Free Logic.

Timm Lampert, Markus Säbel

Rev. Symb. Log., 2021

2020

Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates.

Timm Lampert, Anderson Nakano

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2018

Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach.

Timm Lampert

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

Minimizing disjunctive normal forms of pure first-order logic.

Timm Lampert

Log. J. IGPL, 2017

A Decision Procedure for Herbrand Formulae without Skolemization.

Timm Lampert

CoRR, 2017

2008

Adequate formalization.

Michael Baumgartner, Timm Lampert

Synth., 2008