You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB
a logical geometry project

Springer

Springer published the following 91 sources, containing a total of 411 diagrams.
Beziau, Jean-Yves, Jean-Pierre Desclés, Amirouche Moktefi, and Anca Pascu, eds. 2022. Logic in Question. Talks from the Annual Sorbonne Logic Workshop (2011 - 2019). Cham: Springer. (0 diagrams)
Beziau, Jean-Yves, and Ioannis M. Vandoulakis, eds. 2022. The Exoteric Square of Opposition. Cham: Springer. (0 diagrams)
Ciucci, Davide, Inés Couso, Jesús Medina, Dominik Ślęzak, Davide Petturiti, Bernadette Bouchon-Meunier, and Roland R. Yager, eds. 2022. Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022, Part 1). Cham: Springer. (0 diagrams)
Geudens, Christophe, and Lorenz Demey. 2022. The Modal Logic of John Fabri of Valenciennes (c. 1500). A Study in Token-Based Semantics. Cham: Springer. (4 diagrams)
Giardino, Valeria, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, and Petrucio Viana, eds. 2022. Diagrammatic Representation and Inference. Cham: Springer. (0 diagrams)
Montazeri, Mohammad Sadegh. 2022. Psychotherapist’s Guide to Socratic Dialogue. Cham: Springer. (0 diagrams)
Rahman, Shahid, Matthias Armgardt, and Hans Christian Nordtveit Kvernenes, eds. 2022. New Developments in Legal Reasoning and Logic. From Ancient Law to Modern Legal Systems. Cham: Springer. (0 diagrams)
Baroni, Pietro, Christoph Benzmüller, and Yì N. Wáng, eds. 2021. Logic and Argumentation (CLAR 2021). Cham: Springer. (0 diagrams)
Basu, Amrita, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, and Petrucio Viana, eds. 2021. Diagrammatic Representation and Inference. Cham: Springer. (0 diagrams)
Cruz, Lito Perez. 2021. Theoremus. A Student’s Guide to Mathematical Proofs. Cham: Springer. (2 diagrams)
Das, Anupam, and Sara Negri, eds. 2021. Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021). Cham: Springer. (0 diagrams)
Horsch, Martin Thomas, Silvia Chiacchiera, Welchy Leite Cavalcanti, and Björn Schembera. 2021. Data Technology in Materials Modelling. Cham: Springer. (2 diagrams)
Sendy, Satya Sundar. 2021. Introduction to Logic and Logical Discourse. Singapore: Springer. (0 diagrams)
Shi, Zhongzhi, Mihir Kumar Chakraborty, and Samarjit Kar, eds. 2021. Intelligence Science III. Cham: Springer. (7 diagrams)
Vejnarová, Jiřina, and Nic Wilson, eds. 2021. Symbolic and Quantitative Approaches to Resoning with Uncertainty (ECSQARU 2021). Cham: Springer. (0 diagrams)
Lemanski, Jens, ed. 2020. Language, Logic, and Mathematics in Schopenhauer. Cham: Springer. (0 diagrams)
Lesot, Marie-Jeanne, Susana Vieira, Marek Z. Reformat, João Paulo Carvalho, Anna Wilbik, Bernadette Bouchon-Meunier, and Roland R. Yager, eds. 2020. Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2020, Part 3). Cham: Springer. (6 diagrams)
Liao, Beishui, and Yì N. Wáng, eds. 2020. Context, Conflict and Reasoning. Proceedings of the Fifth Asian Workshop on Philosophical Logic. Singapore: Springer. (1 diagram)
Marquis, Pierre, Odile Papini, and Henri Prade, eds. 2020. A Guided Tour of Artificial Intelligence Research. 1. Knowledge Representation, Reasoning and Learning. Cham: Springer. (0 diagrams)
Pietarinen, Ahti-Veikko, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James E. Corter, and Sven Linker, eds. 2020. Diagrammatic Representation and Inference. Cham: Springer. (0 diagrams)
Calimeri, Francesco, Nicola Leone, and Marco Manna, eds. 2019. Logics in Artificial Intelligence (JELIA 2019). Berlin: Springer. (0 diagrams)
Capone, Alessandro, Marco Carapezza, and Franco Lo Piparo, eds. 2019. Further Advances in Pragmatics and Philosophy: Part 2 Theories and Applications. Cham: Springer. (0 diagrams)
Chatti, Saloua. 2019. Arabic Logic from Al-Farabi to Averroes. A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics. Basel: Springer. (4 diagrams)
Kearfott, Ralph Baker, Ildar Batyrshin, Marek Z. Reformat, Martine Ceberio, and Vladik Kreinovich, eds. 2019. Fuzzy Techniques: Theory and Applications (IFSA/NAFIPS 2019). Cham: Springer. (1 diagram)
Peters, James F., and Andrzej Skowron, eds. 2019. Transactions on Rough Sets XXI. Berlin: Springer. (1 diagram)
Rigotti, Eddo, and Sara Greco. 2019. Inference in Argumentation. A Topics-Based Approach to Argument Schemes. Cham: Springer. (0 diagrams)
Silva, Alexandra, Sam Staton, Peter Sutton, and Carla Umbach, eds. 2019. Language, Logic, and Computation (TbiLLC 2017). Berlin: Springer. (0 diagrams)
Castroviejo, Elena, Louise McNally, and Galit Weidman Sassoon, eds. 2018. The Semantics of Gradability, Vagueness, and Scale Structure. Experimental Perspectives. Cham: Springer. (0 diagrams)
Chapman, Peter, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, and Francesco Bellucci, eds. 2018. Diagrammatic Representation and Inference. Cham: Springer. (0 diagrams)
Frege, Gottlob. 2018. Gottlob Frege: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Edited by Matthias Wille. Berlin: Springer. (3 diagrams)
Hansson, Sven Ove, ed. 2018. Technology and Mathematics. Philosophical and Historical Investigations. Cham: Springer. (1 diagram)
Kacprzyk, Janusz, Eulalia Szmidt, Slawomir Zadrożny, Krassimir T. Atanassov, and Maciej Krawczak, eds. 2018. Advances in Fuzzy Logic and Technology, Volume 2. Cham: Springer. (1 diagram)
Medina, Jesús, Manuel Ojeda-Aciego, José Luis Verdegay Galeano, David A. Pelta, Inma P Cabrera, Bernadette Bouchon-Meunier, and Roland R. Yager, eds. 2018. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations (IPMU 2018, Part 1). Cham: Springer. (0 diagrams)
Swart, Harrie de. 2018. Philosophical and Mathematical Logic. Cham: Springer. (1 diagram)
Beziau, Jean-Yves, and Gianfranco Basti, eds. 2017. The Square of Opposition: A Cornerstone of Thought. Cham: Springer. (96 diagrams)
Blochowiak, Joanna, Cristina Grisot, Stephanie Durrleman, and Christopher Laenzlinger, eds. 2017. Formal Models in the Study of Language. Applications in Interdisciplinary Contexts. Cham: Springer. (10 diagrams)
Dodig-Crnkovic, Gordana, and Raffaela Giovagnoli, eds. 2017. Representation and Reality in Humans, Other Living Organisms and Intelligent Machines. Cham: Springer. (3 diagrams)
Ferraro, Maria Brigida, Paolo Giordani, Barbara Vantaggi, Marek Gagolewski, Maria Ángeles Gil, Przemysław Grzegorzewski, and Olgierd Hryniewicz, eds. 2017. Soft Methods for Data Science. Cham: Springer. (1 diagram)
Honerkamp, Josef. 2017. Die Idee der Wissenschaft. Ihr Schicksal in Physik, Rechtswissenschaft und Theologie. Berlin: Springer. (0 diagrams)
Ide, Nancy, and James Pustejovsky, eds. 2017. Handbook of Linguistic Annotation. Dordrecht: Springer. (0 diagrams)
Kacprzyk, Janusz, Dimitar Filev, and Gleb Beliakov, eds. 2017. Granular, Soft and Fuzzy Approaches for Intelligent Systems. Cham: Springer. (0 diagrams)
Markin, Vladimir, and Dmitry Zaitsev, eds. 2017. The Logical Legacy of Nikolai Vasiliev and Modern Logic. Cham: Springer. (0 diagrams)
Raspa, Venanzio. 2017. Thinking about Contradictions. The Imaginary Logic of Nikolai Aleksandrovich Vasil’ev. Cham: Springer. (2 diagrams)
Rocci, Andrea. 2017. Modality in Argumentation. A Semantic Investigation of the Role of Modalities in the Structure of Arguments with an Application to Italian Modal Expressions. Dordrecht: Springer. (0 diagrams)
Silva, Marcos, ed. 2017. How Colours Matter to Philosophy. Cham: Springer. (0 diagrams)
Urbaniak, Rafał, and Gillman Payette, eds. 2017. Applications of Formal Philosophy. The Road Less Travelled. Cham: Springer. (0 diagrams)
Abeles, Francine F., and Mark E. Fuller, eds. 2016. Modern Logic 1850-1950, East and West. Cham: Springer. (2 diagrams)
Carvalho, João Paulo, Marie-Jeanne Lesot, Uzay Kaymak, Susana Vieira, Bernadette Bouchon-Meunier, and Roland R. Yager, eds. 2016. Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016, Part 2). Cham: Springer. (4 diagrams)
Collan, Mikael, Mario Fedrizzi, and Janusz Kacprzyk, eds. 2016. Fuzzy Technology. Present Applications and Future Challenges. Cham: Springer. (0 diagrams)
Jamnik, Mateja, Yuri Uesaka, and Stephanie Elzer Schwartz, eds. 2016. Diagrammatic Representation and Inference. Cham: Springer. (0 diagrams)
Larrivée, Pierre, and Chungmin Lee, eds. 2016. Negation and Polarity: Experimental Perspectives. Cham: Springer. (0 diagrams)
Nelson, Leonard. 2016. A Theory of Philosophical Fallacies. Translated by Fernando Leal and David Carus. Cham: Springer. (0 diagrams)
Baixeries, Jaume, Christian Sacarea, and Manuel Ojeda-Aciego, eds. 2015. Formal Concept Analysis (ICFCA 2015). Cham: Springer. (0 diagrams)
Beziau, Jean-Yves, Mihir Kumar Chakraborty, and Soma Dutta, eds. 2015. New Directions in Paraconsistent Logic. New Delhi: Springer. (2 diagrams)
Christiansen, Henning, Isidora Stojanovic, and George Papadopoulos, eds. 2015. Modeling and Using Context. Cham: Springer. (0 diagrams)
Esposito, Floriana, Olivier Pivert, Mohand-Saïd Hacid, Zbigniew W. Raś, and Stefano Ferilli, eds. 2015. Foundations of Intelligent Systems (ISMIS 2015). Cham: Springer. (0 diagrams)
Koslow, Arnold, and Arthur Buchsbaum, eds. 2015. The Road to Universal Logic. Volume I. Cham: Springer. (0 diagrams)
Koslow, Arnold, and Arthur Buchsbaum, eds. 2015. The Road to Universal Logic. Volume II. Cham: Springer. (0 diagrams)
Lucey, Kenneth G. 2015. Pesky Essays on the Logic of Philosophy. Cham: Springer. (0 diagrams)
Magdalena, Luis, José Luis Verdegay Galeano, and Francesc Esteva, eds. 2015. Enric Trillas: A Passion for Fuzzy Sets. Cham: Springer. (0 diagrams)
Beierle, Christoph, and Carlo Meghini, eds. 2014. Foundations of Information and Knowledge Systems (FoIKS 2014). Cham: Springer. (11 diagrams)
Dwyer, Tim, Helen Purchase, and Aidan Delaney, eds. 2014. Diagrammatic Representation and Inference. Berlin: Springer. (0 diagrams)
Laurent, Anne, Olivier Strauss, Bernadette Bouchon-Meunier, and Roland R. Yager, eds. 2014. Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2014, Part 2). Cham: Springer. (0 diagrams)
Batyrshin, Ildar, and Miguel González Mendoza, eds. 2013. Advances in Artificial Intelligence (MICAI 2012), Part I. Berlin: Springer. (1 diagram)
Gaag, Linda C. van der, ed. 2013. Symbolic and Quantiative Approaches to Resoning with Uncertainty (ECSQARU 2013). Berlin: Springer. (1 diagram)
Moktefi, Amirouche, and Sun-Joo Shin, eds. 2013. Visual Reasoning with Diagrams. Basel: Springer. (2 diagrams)
Artikis, Alexander, Robert Craven, Nihan Kesim Çiçekli, Babak Sadighi, and Kostas Stathis, eds. 2012. Logic Programs, Norms and Action. Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Berlin: Springer. (2 diagrams)
Beziau, Jean-Yves, and Dale Jacquette, eds. 2012. Around and Beyond the Square of Opposition. Basel: Springer. (187 diagrams)
Cox, Philip, Beryl Plimmer, and Peter Rodgers, eds. 2012. Diagrammatic Representation and Inference. Berlin: Springer. (0 diagrams)
Hüllermeier, Eyke, Sebastian Link, Thomas Fober, and Bernhard Seeger, eds. 2012. Scalable Uncertainty Management (SUM 2012). Berlin: Springer. (5 diagrams)
Li, Tianrui, Hung Son Nguyen, Guoyin Wang, Jerzy W. Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, and Hong Yu, eds. 2012. Rough Sets and Knowledge Technology (RSKT 2012). Berlin: Springer. (6 diagrams)
Magnani, Lorenzo, and Ping Li, eds. 2012. Philosophy and Cognitive Science. Western & Eastern Studies. Berlin: Springer. (2 diagrams)
Rini, Adriane. 2011. Aristotle’s Modal Proofs. Prior Analytics A8-22 in Predicate Logic. Dordrecht: Springer. (0 diagrams)
Symons, John, Olga Pombo, and Juan Manuel Torres, eds. 2011. Otto Neurath and the Unity of Science. Dordrecht: Springer. (0 diagrams)
Joerden, Jan C. 2010. Logik im Recht. Grundlagen und Anwendungsbeispiele. 2nd ed. Heidelberg: Springer. (28 diagrams)
Swart, Henriëtte de. 2010. Expression and Interpretation of Negation. An OT Typology. Dordrecht: Springer. (1 diagram)
Grumberg, Orna, Michael Kaminski, Shmuel Katz, and Shuly Wintner, eds. 2009. Languages: From Formal to Natural. Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Berlin: Springer. (1 diagram)
Carnielli, Walter, and Claudio Pizzi. 2008. Modalities and Multimodalities. Berlin: Springer. (1 diagram)
Zaverucha, Gerson, and Augusto Loureiro da Costa, eds. 2008. Advances in Artificial Intelligence - SBIA 2008. Berlin: Springer. (0 diagrams)
Cate, Balder D. ten, and Henk W. Zeevat, eds. 2007. Logic, Language, and Computation (TbiLLC 2005). Berlin: Springer. (0 diagrams)
Glöckner, Ingo. 2006. Fuzzy Quantifiers. A Computational Theory. Berlin: Springer. (4 diagrams)
Todorovski, Ljupčo, Nada Lavrač, and Klaus P. Jantke, eds. 2006. Discovery Science. Berlin: Springer. (3 diagrams)
Kolak, Daniel, and John Symons, eds. 2004. Quantifiers, Questions and Quantum Physics. Essays on the Philosophy of Jaakko Hintikka. Dordrecht: Springer. (0 diagrams)
Rahman, Shahid, John Symons, Dov M. Gabbay, and Jean Paul Van Bendegem, eds. 2004. Logic, Epistemology, and the Unity of Science. Dordrecht: Springer. (0 diagrams)
Mutzel, Petra, Michael Jünger, and Sebastian Leipert, eds. 2002. Graph Drawing (GD 2001). Berlin: Springer. (0 diagrams)
Gabbay, Dov M., and Heinrich Wansing, eds. 1999. Wat Is Negation? Dordrecht: Springer. (1 diagram)
Strobach, Niko. 1998. The Moment of Change. A Systematic History in the Philosophy of Space and Time. Dordrecht: Springer. (1 diagram)
Brown, Mark, and José Carmo, eds. 1996. Deontic Logic, Agency and Normative Systems (DEON 96). Berlin: Springer. (0 diagrams)
Thom, Paul. 1996. The Logic of Essentialism. An Interpretation of Aristotle’s Modal Syllogistic. Dordrecht: Springer. (0 diagrams)
Damerow, Peter, Gideon Freudenthal, Peter McLaughlin, and Jürgen Renn. 1992. Exploring the Limits of Preclassical Mechanics. New York, NY: Springer. (0 diagrams)
Rosdorff, Leopold Willem. 1974. The Framework of Legal Evolution. Boston, MA: Springer. (0 diagrams)
↑ Back to top ↑