Taneli Huuskonen

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 5

Top Topics

Theorem Proving

Decision Procedures

Propositional Logic

Tableau Calculus

Top Venues

Formaliz. Math.

Ann. Pure Appl. Log.

Publications

Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
Tableau-based decision procedure for non-Fregean logic of sentential identity. CoRR (2021)
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity. CADE (2021)
Joanna Golinska-Pilarek, Taneli Huuskonen
Non-Fregean Propositional Logic with Quantifiers. Notre Dame J. Formal Log. 57 (2) (2016)
Taneli Huuskonen
Grzegorczyk's Logics. Part I. Formaliz. Math. 23 (3) (2015)
Taneli Huuskonen
Polish Notation. Formaliz. Math. 23 (3) (2015)
Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Ann. Pure Appl. Log. 165 (2) (2014)
Joanna Golinska-Pilarek, Taneli Huuskonen
Number of Extensions of Non-Fregean Logics. J. Philos. Log. 34 (2) (2005)
Taneli Huuskonen, Tapani Hyttinen, Mika Rautila
On potential isomorphism and non-structure. Arch. Math. Log. 43 (1) (2004)
Taneli Huuskonen, Tapani Hyttinen
On Definability of Order in Logic with Choice. LICS (2001)
Taneli Huuskonen, Tapani Hyttinen, Mika Rautila
[l]I[\lambda ]. Arch. Math. Log. 38 (8) (1999)
Taneli Huuskonen
Comparing Notions of Similarity for Uncountable Models. J. Symb. Log. 60 (4) (1995)
Taneli Huuskonen
Observations about Scott and Karp Trees. Ann. Pure Appl. Log. 76 (3) (1995)
Taneli Huuskonen
The Construction of A Definable Non-Categorical Domain. Math. Log. Q. 37 (13-16) (1991)