57 citations · 86 across the 14 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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…