Taneli Huuskonen

According to our database, Taneli Huuskonen authored at least 12 papers between 1991 and 2021.

Collaborative distances:

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

2021

Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity.

Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki

Proceedings of the Automated Deduction - CADE 28, 2021

2016

Non-Fregean Propositional Logic with Quantifiers.

Joanna Golinska-Pilarek, Taneli Huuskonen

Notre Dame J. Formal Log., 2016

2015

Grzegorczyk's Logics. Part I.

Taneli Huuskonen

Formaliz. Math., 2015

Polish Notation.

Taneli Huuskonen

Formaliz. Math., 2015

2014

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.

Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco

Ann. Pure Appl. Log., 2014

2005

Number of Extensions of Non-Fregean Logics.

Joanna Golinska-Pilarek, Taneli Huuskonen

J. Philos. Log., 2005

2004

On potential isomorphism and non-structure.

Taneli Huuskonen, Tapani Hyttinen, Mika Rautila

Arch. Math. Log., 2004

2001

On Definability of Order in Logic with Choice.

Taneli Huuskonen, Tapani Hyttinen

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

1999

On the k\kappa-cub game on l\lambda and <i>I</i>[l]I[\lambda ].

Taneli Huuskonen, Tapani Hyttinen, Mika Rautila

Arch. Math. Log., 1999

1995

Comparing Notions of Similarity for Uncountable Models.

Taneli Huuskonen

J. Symb. Log., 1995

Observations about Scott and Karp Trees.

Taneli Huuskonen

Ann. Pure Appl. Log., 1995

1991

The Construction of A Definable Non-Categorical Domain.

Taneli Huuskonen

Math. Log. Q., 1991