A CL System for Propositions and Classes

Abstract Over the past few years, CL diagrams have gained popularity in diagrammatic reasoning, drawing inspiration from Lange’s C ubus L ogicus. The intuitive understanding of CL diagrams is based on simple structures that are straightforward both to draw and to comprehend. This structure supports embedding of information and inferencing. Furthermore, these diagrams are more than just heuristic tools; CL diagrams can actually be extended to full blown formal systems. The present paper shows that a formal system for CL diagrams can have an expressivity similar to standard Boolean algebra of propositions or propositional logic without losing their intuitive properties. It is also possible to combine this interpretation of CL with elements from the class calculus. The syntax and semantics are presented separately, and the system’s soundness and completeness are proven using a variant of bitstring semantics.