3 citations · 5 across the 3 of their papers we have counts for
3 papers
math.FA2014★ 3 cited
On summability, multipliability, product integrability and parallel translation
Seppo Heikkilä, Antonín Slavík
In this paper we provide necessary and sufficient conditions for the existence of the Kurzweil, McShane and Riemann product integrals of step mappings with well-ordered steps, and…
math.LO2013
What Mathematical Theories of Truth Should be Like (and Can be)
S. Heikkilä
Hannes Leitgeb formulated eight norms for theories of truth in his paper: `What Theories of Truth Should be Like (but Cannot be'). We shall present in this paper a theory of truth…
math.LO2013★ 2 cited
A mathematical theory of truth and an application to the regress problem
Seppo Heikkilä
In this paper a class of languages which are formal enough for mathematical reasoning is introduced. First-order formal languages containing natural numbers and numerals belong to…