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.
more info | to the publisher | see it at amazon.com
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.
to the publisher | see it at amazon.com
vol. 3
Heinrich Wansing:
Displaying Modal Logic
Kluwer Academic Publishers (August 1998); ISBN: 0-7923-5205-X; Hardcover, 252 pages.
to the publisher | see it at amazon.com
vol. 4
Petr Hajek:
Metamathematics of Fuzzy Logic
Kluwer Academic Publishers (August 1998); ISBN: 0-7923-5238-6; Hardcover, 297 pages.
to the publisher | see it at amazon.com
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.
to the publisher | see it at amazon.com
vol. 6
Kosta Dosen:
Cut Elimination in Categories
Kluwer Academic Publishers (May 1999); ISBN: 0-7923-5720-5; Hardcover, 244 pages.
to the publisher | see it at amazon.com
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.
to the publisher | see it at amazon.com
vol. 8
Erich Peter Klement, Radko Mesiar, Endre Pap:
Triangular Norms
Kluwer Academic Publishers (July 2000); ISBN: 0-7923-6416-3; Hardcover, 406 pages.
to the publisher | see it at amazon.com
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.
to the publisher | see it at amazon.com
vol. 10
Janusz Czelakowski:
Protoalgebraic Logics
Kluwer Academic Publishers (April 2001); ISBN: 0-7923-6940-8; Hardcover, 452 pages.
to the publisher | see it at amazon.com
vol. 11
Giangiacomo Gerla:
Fuzzy Logic: Mathematical Tools for Approximate Reasoning
Kluwer Academic Publishers (April 2001); ISBN: 0-7923-6941-6; Hardcover, 269 pages.
to the publisher | see it at amazon.com
vol. 12
Melvin Fitting: Types, Tableaus, and Gödel's God
Kluwer Academic Publishers (May 2002); ISBN: 1-4020-0604-7; Hardcover, 196 pages.
to the publisher | see it at amazon.com
vol. 13
Francesco Paoli: Substructural Logics: A Primer
Kluwer Academic Publishers (May 2002); ISBN: 1-4020-0605-5; Hardcover, 318 pages.
to the publisher | see it at amazon.com
vol. 14
Silvio Ghilardi, Marek Zawadowski:
Sheaves, Games, and Model Completions
Kluwer Academic Publishers; ISBN: 1-4020-0660-8; Hardcover, 243 pages.
to the publisher | see it at amazon.com
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.
to the publisher | see it at amazon.com
vol. 16
Pawel Kawalec
Structural Reliabilism
Kluwer Academic Publishers (November 2002); ISBN: 1-4020-1013-3; Hardcover, 208 pages.
to the publisher | see it at amazon.com
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 .
to the publisher | see it at amazon.com
vol. 18
Ruy J.G.B. de Queiroz
Logic for Concurrency and Synchronisation
Kluwer Academic Publishers (June 2003); ISBN: 1-4020-1270-5; Hardcover.
to the publisher | see it at amazon.com
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).
to the publisher | see it at amazon.com
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.
to the publisher | see it at amazon.com
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.
to the publisher | see it at amazon.com
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.
to the publisher | see it at amazon.com
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.
to the publisher | see it at amazon.com
vol. 24
Gerhard Jäger
Anaphora and Type Logical Grammar
Springer (September 2005); ISBN: 1-4020-3904-2; Hardcover.
to the publisher | see it at amazon.com
vol. 25
Michael Winter
Goguen Categories: A Categorical Approach to L-fuzzy Relations
Springer (April 2007); ISBN: 978-1-4020-6163-9; Hardcover.
to the publisher | see it at amazon.com
vol. 26
Sergei P. Odintsov
Constructive Negations and Paraconsistency
Springer 2008; ISBN: 978-1-4020-6866-9.
to the publisher | see it at amazon.com
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.
to the publisher | see it at amazon.com
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 .
to the publisher | see it at amazon.com
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
