5 citations · 5 across the 1 of their papers we have counts for
1 paper
Mateusz Łełyk, Bartosz Wcisło
This paper is a follow-up to "Models of PT− with internal induction for total formulae." We give a strenghtening of the main result on the semantical non-conservativity of the…