35 citations · 55 across the 12 of their papers we have counts for
Showing 2024Show 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.LO2024
Saturation properties for compositional truth with propositional correctness
Bartosz Wcisło
It is an open question whether compositional truth with the principle of propositional soundness ,,all arithmetical sentences which are propositional tautologies are true'' is cons…