Taneli Huuskonen

16 papers A* 1A 1Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2025 — conf
Deciding Non-fregean Identities: A Dual Tableau Approach.
JELIA (2)
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
2025 J jnl
Extensions of Languages in Polish Notation.
Formaliz. Math.
Taneli Huuskonen
2024 J jnl
Fundamentals of Finitary Proofs.
Formaliz. Math.
Taneli Huuskonen
2021 A conf
Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity.
CADE
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
2021 J jnl
Tableau-based decision procedure for non-Fregean logic of sentential identity.
CoRR
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
2016 J jnl
Non-Fregean Propositional Logic with Quantifiers.
Notre Dame J. Formal Log.
Joanna Golinska-Pilarek, Taneli Huuskonen
2015 J jnl
Grzegorczyk's Logics. Part I.
Formaliz. Math.
Taneli Huuskonen
2015 J jnl
Polish Notation.
Formaliz. Math.
Taneli Huuskonen
2014 J jnl
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.
Ann. Pure Appl. Log.
Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco
2005 J jnl
Number of Extensions of Non-Fregean Logics.
J. Philos. Log.
Joanna Golinska-Pilarek, Taneli Huuskonen
2004 J jnl
On potential isomorphism and non-structure.
Arch. Math. Log.
Taneli Huuskonen, Tapani Hyttinen, Mika Rautila
2001 A* conf
On Definability of Order in Logic with Choice.
LICS
Taneli Huuskonen, Tapani Hyttinen
1999 J jnl
On the k\kappa-cub game on l\lambda and
Arch. Math. Log.
Taneli Huuskonen, Tapani Hyttinen, Mika Rautila
1995 J jnl
Comparing Notions of Similarity for Uncountable Models.
J. Symb. Log.
Taneli Huuskonen
1995 J jnl
Observations about Scott and Karp Trees.
Ann. Pure Appl. Log.
Taneli Huuskonen
1991 J jnl
The Construction of A Definable Non-Categorical Domain.
Math. Log. Q.
Taneli Huuskonen