Trends in Logic – Studia Logica library

Published volumes:

vol. 1 Gerhard Schurz: The Is-Ought Problem: An Investigation in Philosophical Logic
Kluwer Academic Publishers (February 1997); ISBN: 0-7923-4410-3; Hardcover, 332 pages.

vol. 2 Eva Ejerhed and Sten Lindström (eds.): Logic, Action and Cognition. Essays in Philosophical Logic, Umea Colloquium on Dynamic
Kluwer Academic Publishers (July 1997); ISBN: 0-7923-4560-6; Hardcover, 232 pages.

vol. 3 Heinrich Wansing: Displaying Modal Logic
Kluwer Academic Publishers (August 1998); ISBN: 0-7923-5205-X; Hardcover, 252 pages.

vol. 4 Petr Hajek: Metamathematics of Fuzzy Logic
Kluwer Academic Publishers (August 1998); ISBN: 0-7923-5238-6; Hardcover, 297 pages.

vol. 5 Hans Jürgen Ohlbach and Uwe Reyle (eds.): Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
Kluwer Academic Publishers (June 1999); ISBN: 0-7923-5687-X; Hardcover.

vol. 6 Kosta Dosen: Cut Elimination in Categories
Kluwer Academic Publishers (May 1999); ISBN: 0-7923-5720-5; Hardcover, 244 pages.

vol. 7 Roberto L.O. Cignoli, Itala M.L. D'Ottaviano, Daniele Mundici: Algebraic Foundations of Many-Valued Reasoning
Kluwer Academic Publishers (November 1999); ISBN: 0-7923-6009-5; Hardcover.

vol. 8 Erich Peter Klement, Radko Mesiar, Endre Pap: Triangular Norms
Kluwer Academic Publishers (July 2000); ISBN: 0-7923-6416-3; Hardcover, 406 pages.

vol. 9 Vincent F. Hendricks: The Convergence of Scientific Knowledge. A View from the Limit
Kluwer Academic Publishers (March 2001); ISBN: 0-7923-6929-7; Hardcover.

vol. 10 Janusz Czelakowski: Protoalgebraic Logics
Kluwer Academic Publishers (April 2001); ISBN: 0-7923-6940-8; Hardcover, 452 pages.

vol. 11 Giangiacomo Gerla: Fuzzy Logic: Mathematical Tools for Approximate Reasoning
Kluwer Academic Publishers (April 2001); ISBN: 0-7923-6941-6; Hardcover, 269 pages.

vol. 12 Melvin Fitting: Types, Tableaus, and Gödel's God
Kluwer Academic Publishers (May 2002); ISBN: 1-4020-0604-7; Hardcover, 196 pages.

vol. 13 Francesco Paoli: Substructural Logics: A Primer
Kluwer Academic Publishers (May 2002); ISBN: 1-4020-0605-5; Hardcover, 318 pages.

vol. 14 Silvio Ghilardi, Marek Zawadowski: Sheaves, Games, and Model Completions
Kluwer Academic Publishers; ISBN: 1-4020-0660-8; Hardcover, 243 pages.

vol. 15 Giulianella Coletti, Romano Scozzafava Probabilistic Logic in a Coherent Setting
Kluwer Academic Publishers (October 2002); ISBN: 1-4020-0917-8 (Hardcover) and 1-4020-0970-4 (Paperback), 296 pages.

vol. 16 Pawel Kawalec Structural Reliabilism
Kluwer Academic Publishers (November 2002); ISBN: 1-4020-1013-3; Hardcover, 208 pages.

vol. 17 Benedikt Löwe, Wolfgang Malzkorn, Thoralf Räsch Foundations of the Formal Sciences II
Kluwer Academic Publishers (February 2003); ISBN: 1-4020-1154-7; Hardcover, 304 pages .

vol. 18 Ruy J.G.B. de Queiroz Logic for Concurrency and Synchronisation
Kluwer Academic Publishers (June 2003); ISBN: 1-4020-1270-5; Hardcover.

vol. 19 Annalisa Marcja, Carlo Toffalori A Guide to Classical and Modern Model Theory
Kluwer Academic Publishers (May/June 2003); ISBN: 1-4020-1330-2 (Hardcover) and 1-4020-1331-0 (Paperback).

vol. 20 Stephen Ernest Rodabaugh, Erich Peter Klement Topological and Algebraic Structures in Fuzzy Sets
Kluwer Academic Publishers (September 2003); ISBN: 1-4020-1515-1; Hardcover.

vol. 21 Vincent F. Hendricks, Jacek Malinowski Trends in Logic: 50 Years of Studia Logica
Kluwer Academic Publishers (September 2003); ISBN: 1-4020-1601-8; Hardcover.

vol. 22 Maria Luisa Dalla Chiara, Roberto Giuntini, R. Greechie Reasoning in Quantum Theory
Kluwer Academic Publishers (March 2004); ISBN: 1-4020-1978-5; Hardcover.

vol. 23 Benedikt Löwe, Boris Piwinger, Thoralf Räsch Classical and New Paradigms of Computation and their Complexity Hierarchies. Papers of the conference "Foundations of the Formal Sciences III"
Kluwer Academic Publishers (January 2005); ISBN: 1-4020-2775-3; Hardcover.

vol. 24 Gerhard Jäger Anaphora and Type Logical Grammar
Springer (September 2005); ISBN: 1-4020-3904-2; Hardcover.

vol. 25 Michael Winter Goguen Categories: A Categorical Approach to L-fuzzy Relations
Springer (April 2007); ISBN: 978-1-4020-6163-9; Hardcover.

vol. 26 Sergei P. Odintsov Constructive Negations and Paraconsistency
Springer 2008; ISBN: 978-1-4020-6866-9.

vol. 27 Piero Pagliani, Mihir Chakraborty A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
Springer 2008; ISBN: 978-1-4020-8621-2.

vol. 28 David Makinson, Jacek Malinowski, Heinrich Wansing Towards Mathematical Philosophy. Papers from the Studia Logica conference Trends in Logic IV
Springer 2008; ISBN: 978-1-4020-9083-7 .

vol. 29 Mieszko Talasiewicz Philosophy of Syntax. Foundational Topics
Springer 2010; ISBN: 978-90-481-3291-1.

vol. 30 Andrzej Indrzejczak Natural Deduction, Hybrid Systems and Modal Logics
Springer 2010; ISBN: 978-90-481-8784-3 (Print) 978-90-481-8785-0 (Online).

vol. 31 Piotr Łukowski Paradoxes
Springer 2011; ISBN: 978-94-007-1475-5 (Print), 978-94-007-1476-2 (Online).

vol. 32 Francesca Poggiolesi Gentzen Calculi for Modal Propositional Logic
Springer 2011; ISBN: 978-90-481-9669-2 (Print), 978-90-481-9670-8 (Online).

vol. 33 Ewa Orłowska, Joanna Golińska-Pilarek Dual Tableaux: Foundations, Methodology, Case Studies
Springer 2011; ISBN: 978-94-007-0004-8 (Print), 978-94-007-0005-5 (Online).

vol. 34 Matthias Baaz, Alexander Leitsch Methods of Cut-Elimination
Springer 2011; ISBN: 978-94-007-0319-3 (Print), 978-94-007-0320-9 (Online).

vol. 35 Daniele Mundici Advanced Łukasiewicz calculus and MV-algebras
Springer 2011; ISBN: 978-94-007-0839-6 (Print), 978-94-007-0840-2 (Online).

vol. 36 Yaroslav Shramko, Heinrich Wansing Truth and Falsehood. An Inquiry into Generalized Logical Values
Springer 2011; ISBN: 978-94-007-0906-5 (Print), 978-94-007-0907-2 (Online).

vol. 37 Rafal Urbaniak Leśniewski's Systems of Logic and Foundations of Mathematics
Springer 2014; ISBN: 978-3-319-00481-5 (Print), 978-3-319-00482-2 (eBook).

vol. 38 Christian Straßer, Adaptive Logics for Defeasible Reasoning
Springer 2014; ISBN: 978-3-319-00791-5 (Print), 978-3-319-00792-2 (eBook).

vol. 39 Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva (Eds.), Advances in Natural Deduction. A Celebration of Dag Prawitz's Work
Springer 2014; ISBN: 978-94-007-7547-3 (Print), 978-94-007-7548-0 (eBook).

vol. 40 Andreas Kapsner, Logics and Falsifications. A New Perspective on Constructivist Semantics
Springer 2014; ISBN: 978-3-319-05205-2 (Print), 978-3-319-05206-9 (eBook).

vol. 41 Roberto Ciuni, Heinrich Wansing, Caroline Willkommen (Eds.), Recent Trends in Philosophical Logic
Springer 2014; ISBN: 978-3-319-06079-8 (Print), 978-3-319-06080-4 (eBook).

vol. 42 Janusz Czelakowski, Freedom and Enforcement in Action. A Study in Formal Action Theory
Springer 2015; ISBN: 978-94-017-9854-9 (Print), 978-94-017-9855-6 (eBook).

vol. 43 Thomas Piecha, Peter Schroeder-Heister (Eds.), Advances in Proof-Theoretic Semantics
Springer 2016; ISBN: 978-3-319-22685-9 (Print).

vol. 44 Johannes Stern, Toward Predicate Approaches to Modality
Springer 2016; ISBN: 978-3-319-22556-2 (Print), 978-3-319-22557-9 (eBook).

vol. 45 Holger Andreas, Peter Verdée (Eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Springer 2016; ISBN: 978-3-319-40218-5 (Hardcover), 978-3-319-82056-9 (Softcover), 978-3-319-40220-8 (eBook).

vol. 46 Sven-Ove Hansson, Descriptor Revision: Belief Change through Direct Choice
Springer 2017; ISBN: 978-3-319-53060-4 (Hardcover), 978-3-319-85051-1 (Softcover), 978-3-319-53061-1 (eBook).

vol. 47 Walter Carnielli, Jacek Malinowski (Eds.), Contradictions, from Consistency to Inconsistency
Springer 2018; ISBN: 978-3-319-98796-5 (Hardcover), 978-3-030-07534-7 (Softcover), 978-3-319-98797-2 (eBook).

vol. 48 M.L. Dalla Chiara, R. Giuntini, R. Leporini, G. Sergioli, Quantum Computation and Logic
Springer 2018; ISBN: 978-3-030-04470-1 (Hardcover), 978-3-030-04471-8 (eBook).

vol. 49 Thomas Macaulay Ferguson, Meaning and Proscription in Formal Logic. Variations on the Propositional Logic of William T. Parry
Springer 2017; ISBN: 978-3-319-70820-1 (Hardcover), 978-3-319-88997-9 (Softcover), 978-3-319-70821-8 (eBook).

vol. 50 Leo Esakia (edited by Guram Bezhanishvili and Wesley H. Holliday), Heyting Algebras. Duality Theory
Springer 2019; ISBN: 978-3-030-12095-5 (Hardcover), 978-3-030-12098-6 (Softcover), 978-3-030-12096-2 (eBook).

vol. 51 Henryk Kotlarski (edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski), A Model–Theoretic Approach to Proof Theory
Springer 2019; ISBN: 978-3-030-28920-1 (Hardcover), 978-3-030-28923-2 (Softcover), 978-3-030-28921-8 (eBook).

vol. 52 Adam Rieger, Gareth Young (Eds.), Dialetheism and its Applications
Springer 2019; ISBN: 978-3-030-30220-7 (Hardcover), 978-3-030-30223-8 (Softcover), 978-3-030-30221-4 (eBook).

vol. 53 Peter M. Schuster, Monika Seisenberger, Andreas Weiermann (Eds.), Well-Quasi Orders in Computation, Logic, Language and Reasoning
Springer 2020; ISBN: 978-3-030-30228-3 (Hardcover), 978-3-030-30231-3 (Softcover), 978-3-030-30229-0 (eBook).

vol. 54 Andrzej Pietruszczak, Foundations of the Theory of Parthood. A Study of Mereology
Springer 2020; ISBN: 978-3-030-36532-5 (Hardcover), 978-3-030-36535-6 (Softcover), 978-3-030-36533-2 (eBook).

vol. 55 Davide Fazio, Antonio Ledda, Francesco Paoli (Eds.), Algebraic Perspectives on Substructural Logics
Springer 2021; ISBN: 978-3-030-52162-2 (Hardcover), 978-3-030-52163-9 (eBook).

vol. 56 Alessandro Giordani, Jacek Malinowski (Eds.), Logic in High Definition. Trends in Logical Semantics
Springer 2021; ISBN: 978-3-030-53486-8 (Hardcover), 978-3-030-53487-5 (eBook).

last modfied 18.02.2021; designer and webmaster: Krzysztof Pszczola

Studia Logica

An International Journal publishing papers in Logic and all applications of Formal Mathematical Methods
Published by the Institute of Philosophy and Sociology of the Polish Academy of Sciences and Springer