4 citations · 12 across the 19 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
Maximality of bi-intuitionistic propositional logic
Grigory Olkhovikov, Guillermo Badia
In the style of Lindström's theorem for classical first-order logic, this article characterizes propositional bi-intuitionistic logic as the maximal (with respect to expressive pow…
math.LO2021
A Lindström theorem for intuitionistic first-order logic
Grigory Olkhovikov, Guillermo Badia, Reihane Zoghifard
We extend the main result of (G. Badia and G. Olkhovikov. A Lindström theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1): 11--30 (2020)) to…