Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle.

Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli

Browse the full CSL paper archive.