Abstract
In this contribution we combine some term logics as to produce a synthetic term logic. We accomplish this goal by following a color mixing metaphor: the way color addition and substraction work are pretty much like joints and meets between logics, and so we can think of combining logics as a process of color mixing.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Blackburn, P., de Rijke, M.: Why combine logics? Studia Logica: Int. J. Symbol. Logic 59(1), 5–27 (1997). http://www.jstor.org/stable/20015923
Castro-Manzano, J.M.: Distribution tableaux, distribution models. Axioms 9(2) (2020). https://doi.org/10.3390/axioms9020041, https://www.mdpi.com/2075-1680/9/2/41
Englebretsen, G.: Preliminary notes on a new modal syllogistic. Notre Dame J. Formal Logic 29(3), 381–395 (1988). https://doi.org/10.1305/ndjfl/1093637935
Englebretsen, G.: Something to Reckon with: The Logic of Terms. Canadian Electronic Library: Books Collection, University of Ottawa Press (1996)
Gabbay, D.: Fibring Logics. Oxford Logic Guides, Clarendon Press (1998)
Küppers, H.: The Basic Law of Color Theory. Pocket Art Series, Barron’s (1982)
Murphree, W.A.: Numerical term logic. Notre Dame J. Formal Logic 39(3), 346–362 (1998). https://doi.org/10.1305/ndjfl/1039182251
Sommers, F.: The Logic of Natural Language. Clarendon Library of Logic and Philosophy, Clarendon Press; Oxford University Press, Oxford; New York (1982)
Woods, J.: Aristotle’s Earlier Logic. Studies in Logic. College Publications (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Castro-Manzano, JM. (2022). Mixing Colors, Mixing Logics. In: Giardino, V., Linker, S., Burns, R., Bellucci, F., Boucheix, JM., Viana, P. (eds) Diagrammatic Representation and Inference. Diagrams 2022. Lecture Notes in Computer Science(), vol 13462. Springer, Cham. https://doi.org/10.1007/978-3-031-15146-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-15146-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-15145-3
Online ISBN: 978-3-031-15146-0
eBook Packages: Computer ScienceComputer Science (R0)