Now showing items 1-2 of 2
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 ...
Applications of Algebra in Logic and Computer Science – the Past and the Future
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
We present the history of the conference Applications of Algebra in Logic and Computer Science, whose twenty-third edition will be held in March, 2019. At the end we outline some plans for the future.