Tyko Straßen

According to our database, Tyko Straßen authored at least 3 papers between 1992 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Syntactical Models and Fixed Points for the Basic Logic of Proofs.

Tyko Straßen

Ann. Math. Artif. Intell., 1994

1993

The Logic of the Gödel Proof Predicate.

Sergei N. Artëmov, Tyko Straßen

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992

The Basic Logic of Proofs.

Sergei N. Artëmov, Tyko Straßen

Proceedings of the Computer Science Logic, 6th Workshop, 1992