17 citations · 17 across the 1 of their papers we have counts for
2 papers
math.LO2017
On a question of Krajewski's
Fedor Pakhomov, Albert Visser
In this paper we provide a (negative) solution to a problem posed by Stanisław Krajewski. Consider a recursively enumerable theory U and a finite expansion of the signature of U th…
cs.LO2017★ 17 cited
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…