1 citations · 1 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Classical determinate truth without induction
Bartosz Wcisło
Fujimoto and Halbach had introduced a novel theory of type-free truth CD which satisfies full classical compositional clauses for connectives and quantifiers. Answering their quest…
math.LO2023★ 1 cited
Universal properties of truth
Mateusz Łełyk, Bartosz Wcisło
We investigate abstract model theoretic properties which holds for models in which a truth or satisfaction predicate for a sublanguage of the signature is definable. We analyse in…