1 citations · 2 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
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…