29 citations · 84 across the 12 of their papers we have counts for
4 papers · 1 filter
An Algebraic Glimpse at Bunched Implications and Separation Logic
Peter Jipsen, Tadeusz Litak
We overview the logic of Bunched Implications (BI) and Separation Logic (SL) from a perspective inspired by Hiroakira Ono's algebraic approach to substructural logics. We propose g…
Constructive Modalities with Provability Smack
Tadeusz Litak
I overview the work of the Tbilisi school on intuitionistic modal logics of well-founded/scattered structures and its connections with contemporary theoretical computer science. Fi…
Lewis meets Brouwer: constructive strict implication
Tadeusz Litak, Albert Visser
C. I. Lewis invented modern modal logic as a theory of "strict implication". Over the classical propositional calculus one can as well work with the unary box connective. Intuition…
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano +1
We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can…