1 citations · 2 across the 4 of their papers we have counts for
5 papers
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…
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…
On the construction of fully interpreted formal languages which posses their truth predicates
Seppo Heikkilä
We shall construct by ordinary recursion method subsets to the set of Gödel numbers of the sentences of a language . That language is formed by sentences of a fully…
On summability, integrability and impulsive differential equations in Banach spaces
Seppo Heikkilä
We shall first study summability of families in normed spaces indexed with well ordered sets of real numbers extended by infinity. Obtained results and a generalized iteration meth…
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…