Taneli Huuskonen

Available identifiers

Publication	Date of Publication	Type
Tableau-based decision procedure for non-Fregean logic of sentential identity	2021-12-01	Paper
A Mystery of Grzegorczyk’s Logic of Descriptions	2019-01-21	Paper
Non-Fregean propositional logic with quantifiers	2016-05-25	Paper
Polish notation	2015-10-07	Paper
Grzegorczyk's logics. I	2015-10-07	Paper
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics	2013-12-10	Paper
Number of extensions of non-Fregean logics	2006-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5711944	2005-12-08	Paper
On potential isomorphism and non-structure	2004-09-22	Paper
Hyers–Ulam constants of Hilbert spaces	2002-08-27	Paper
On the \(\kappa\)-cub game on \(\lambda\) and \(I[\lambda\)]	2001-05-02	Paper
Constants are Definable in Rings of Analytic Functions	1997-10-13	Paper
Comparing notions of similarity for uncountable models	1996-09-03	Paper
Observations about Scott and Karp trees	1996-07-23	Paper
Bilipschitz extensions from smooth manifolds	1996-02-22	Paper
Uniqueness of maximum values in discrete distributions	1995-03-20	Paper
The Construction of A Definable Non‐Categorical Domain	1992-06-28	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Taneli Huuskonen