Hypercube algebra: a diagrammatic and sentential notation to support inferences in logic

Thierry Morineau. Hypercube algebra: a diagrammatic and sentential notation to support inferences in logic. In Phil Turner, Susan Turner, editors, European Conference on Cognitive Ergonomics, ECCE '12, Edinburgh, United Kingdom, August 28 - 31, 2012. pages 100-104, ACM, 2012. [doi]

Abstract

Abstract is missing.