Taneli Huuskonen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Extensions of languages in Polish notation Formalized Mathematics	2026-03-23	Paper
Deciding non-Fregean identities: a dual tableau approach	2025-12-15	Paper
Tableau-based decision procedure for non-Fregean logic of sentential identity (available as arXiv preprint)	2021-12-01	Paper
A mystery of Grzegorczyk's logic of descriptions Studies in Universal Logic	2019-01-21	Paper
Non-Fregean propositional logic with quantifiers Notre Dame Journal of Formal Logic	2016-05-25	Paper
Polish notation Formalized Mathematics	2015-10-07	Paper
Grzegorczyk's logics. I Formalized Mathematics	2015-10-07	Paper
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics Annals of Pure and Applied Logic	2013-12-10	Paper
Number of extensions of non-Fregean logics Journal of Philosophical Logic	2006-02-08	Paper
scientific article; zbMATH DE number 2236692 (Why is no real title available?)	2005-12-08	Paper
On potential isomorphism and non-structure Archive for Mathematical Logic	2004-09-22	Paper
Hyers–Ulam constants of Hilbert spaces Studia Mathematica	2002-08-27	Paper
On the \(\kappa\)-cub game on \(\lambda\) and \(I[\lambda\)] Archive for Mathematical Logic	2001-05-02	Paper
Constants are Definable in Rings of Analytic Functions	1997-10-13	Paper
Comparing notions of similarity for uncountable models Journal of Symbolic Logic	1996-09-03	Paper
Observations about Scott and Karp trees Annals of Pure and Applied Logic	1996-07-23	Paper
Bilipschitz extensions from smooth manifolds Revista Matemática Iberoamericana	1996-02-22	Paper
Uniqueness of maximum values in discrete distributions Journal of Applied Probability	1995-03-20	Paper
The Construction of A Definable Non‐Categorical Domain Mathematical Logic Quarterly	1992-06-28	Paper

Research outcomes over time

This page was built for person: Taneli Huuskonen