35 citations · 55 across the 12 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020
Compositional truth with propositional tautologies and quantifier-free correctness
Bartosz Wcisło
Cieśliński asked whether compositional truth theory with the additional axiom that all propositional tautologies are true is conservative over Peano Arithmetic. We provide a partia…
math.LO2020
Local collection scheme and end-extensions of models of compositional truth
Mateusz Łełyk, Bartosz Wcisło
We introduce a principle of local collection for compositional truth predicates and show that it is conservative over the classically compositional theory of truth in the arithmeti…