1 paper
Nick Bezhanishvili, Luca Carai, Silvio Ghilardi +1
The symmetric strict implication calculus S2IC is a modal calculus for compact Hausdorff spaces. This is established through de Vries duality, linking compact Hausdorff…