1 citations · 2 across the 2 of their papers we have counts for
3 papers
math.LO2018
Theories of truth for countable languages which conform to classical logic
Seppo Heikkilä
Every countable language which conforms to classical logic is shown to have an extension which conforms to classical logic, and has a definitional theory of truth. That extension h…
math.LO2017★ 1 cited
A mathematically derived definitional/semantical theory of truth
Seppo Heikkilä
Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a fully interpreted object language and from an extra formula a new language. It is fu…
math.CA2013★ 1 cited
Distributions, their primitives and integrals with applications to differential equations
Seppo Heikkilä, Erik Talvila
In this paper we will study integrability of distributions whose primitives are left regulated functions and locally or globally integrable in the Henstock--Kurzweil, Lebesgue or R…