2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Christian Wurm
We introduce the two substructural propositional logics KL, KL+, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness wi…