Open bar - a Brouwerian intuitionistic logic with a pinch of excluded middle

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

Research output: Contribution to journal › Conference article › peer-review

65 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Open bar - a Brouwerian intuitionistic logic with a pinch of excluded middle'. Together they form a unique fingerprint.