Abstract
In recent years CL diagrams inspired by Lange’s Cubus Logicus have been used in various contexts of diagrammatic reasoning. However, whether CL diagrams can also be used as a formal system seemed questionable. We present a CL diagram as a formal system, which is a fragment of propositional logic. Syntax and semantics are presented separately and a variant of bitstring semantics is applied to prove soundness and completeness of the system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Barbot, N., Miclet, L., Prade, H., Richard, G.: A new perspective on analogical proportions. In: Kern-Isberner, G., Ognjanović, Z. (eds.) ECSQARU 2019. LNCS (LNAI), vol. 11726, pp. 163–174. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-29765-7_14
Bhattacharjee, R., Chakraborty, M.K., Choudhury, L.: Venn diagram with names of individuals and their absence: a non-classical diagram logic. Log. Univers. 12(1), 141–206 (2018). https://doi.org/10.1007/s11787-018-0186-7
Castro Manzano, J.M.: Remarks on the idea of non-monotonic (diagrammatic) inference. Open Insight 8(14), 243–263 (2017)
Demey, L., Smessaert, H.: Combinatorial bitstring semantics for arbitrary logical fragments. J. Philos. Logic 47(2), 325–363 (2017). https://doi.org/10.1007/s10992-017-9430-5
Hammer, E.M.: Logic and Visual Information. CSLI Publ, Stanford (1995)
Neher, E.: Jordan Triple Systems by the Grid Approach. LNM, vol. 1280. Springer, Heidelberg (1987). https://doi.org/10.1007/BFb0078217
Stapleton, G., Howse, J., Bonnington, A., Burton, J.: A vision for diagrammatic ontology engineering. In: Proceedings of the International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics (VISUAL 2014), pp. 1–13 (2014). http://ceur-ws.org/Vol-1299/
Lange, J.C.: Inventum novum quadrati logici universalis, Müller, Giessen (1714)
Leibniz, G.W.: Opera omnia, nunc primum collecta, ed. by L. Dutens, Fratres de Tournes, Geneva (1768)
Lemanski, J.: Automated reasoning and ontology editing with calculus CL. In: Chapman, P., et al. (eds.) Diagrams 2018, LNAI, vol. 10871, pp. 752–756. Springer, Heidelberg (2018)
Lemanski, J.: Oppositional geometry in the diagrammatic calculus CL. S. Am. J. Logic 3(2), 517–531 (2017)
Lemanski, J.: Euler-type diagrams and the quantification of the predicate. J. Philos. Logic 49(2), 401–416 (2019). https://doi.org/10.1007/s10992-019-09522-y
Mineshima, K., Okada, M., Takemura, R.: A diagrammatic inference system with Euler circles. J. Logic Lang. Inf. 21(3), 365–391 (2012). https://doi.org/10.1007/s10849-012-9160-6
Moktefi, A.: Diagrams as scientific instruments. In: Benedek, A., Veszelszki, A. (eds.) Virtual Reality - Real Visuality. Visual, Virtual, Veridical, pp. 81–89. Peter Lang, Frankfurt am Main (2017)
Schang, F., Lemanski, J.: A bitstring semantics for calculus CL. In: Vandoulakis, I., Beziau, J.-Y.: Studies in Universal Logic. Birkhäuser, Basel (2020)
Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Lemanski, J., Jansen, L. (2020). Calculus CL as a Formal System. In: Pietarinen, AV., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., Linker, S. (eds) Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science(), vol 12169. Springer, Cham. https://doi.org/10.1007/978-3-030-54249-8_35
Download citation
DOI: https://doi.org/10.1007/978-3-030-54249-8_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-54248-1
Online ISBN: 978-3-030-54249-8
eBook Packages: Computer ScienceComputer Science (R0)