Szukaj
Wyświetlanie pozycji 1-1 z 1
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)
In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that ...