Author(s)
Bibliographic Information
Trends in logic : studia logica library
Kluwer Academic Publishers, c1997-
Search this Book/Journal
Note
Managing editor, Ryszard Wójcicki ; editors, Petr Hájek ... [et al.]
Publisher varies: Springer
-
1
- Inquisitive logic : consequence and inference in the realm of questions
-
Ivano Ciardelli
Springer c2022 Trends in logic : studia logica library v. 60
: [hbk]
Available at 1 libraries
-
2
- The logical writings of Karl Popper
-
David Binder, Thomas Piecha, Peter Schroeder-Heister, editors
Springer c2022 Trends in logic : studia logica library v. 58
: pbk
Available at 1 libraries
-
3
- Logics of variable inclusion
-
Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
Springer c2022 Trends in logic : studia logica library v. 59
Available at 1 libraries
-
4
- Logic in high definition : trends in logical semantics
-
Alessandro Giordani, Jacek Malinowski, editors
Springer c2021 Trends in logic : studia logica library v. 56
: [pbk.]
Available at 1 libraries
-
5
- Logic and Implication : an introduction to the general algebraic study of non-classical logics
-
Petr Cintula, Carles Noguera
Trends in logic : studia logica library v.57
hbk.
Available at 4 libraries
-
6
- Logic in high definition : trends in logical semantics
-
Alessandro Giordani, Jacek Malinowski, editors
Springer c2021 Trends in logic : studia logica library v. 56
Available at 1 libraries
-
7
- Algebraic perspectives on substructural logics
-
Davide Fazio, Antonio Ledda, Francesco Paoli, editors
Springer c2021 Trends in logic : studia logica library v. 55
Available at 4 libraries
-
8
- Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
-
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors
Springer c2020 Trends in logic : studia logica library v. 53
Available at 1 libraries
-
9
- Foundations of the theory of parthood : a study of Mereology
-
Andrzej Pietruszczak
Springer 2020 Trends in logic : studia logica library v. 54
Available at 1 libraries
-
10
- Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
-
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors
Springer c2020 Trends in logic : studia logica library v. 53
: hardback
Available at 3 libraries
-
11
- Heyting algebras : duality theory
-
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton Evseev
Springer c2019 Trends in logic : studia logica library v. 50
Available at 3 libraries
-
12
- A model-theoretic approach to proof theory
-
Henryk Kotlarski, author ; edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski
Springer c2019 Trends in logic : studia logica library v. 51
Available at 4 libraries
-
13
- Heyting algebras : duality theory
-
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton Evseev
Springer c2019 Trends in logic : studia logica library v. 50
hardcover
Available at 3 libraries
-
14
- Quantum computation and logic : how quantum computers have inspired logical investigations
-
Maria Luisa Dalla Chiara ... [et al.]
Springer c2018 Trends in logic : studia logica library v. 48
Available at 1 libraries
-
15
- Descriptor revision : belief change through direct choice
-
Sven Ove Hansson
Springer c2017 Trends in logic : studia logica library v. 46
Available at 1 libraries
-
16
- Toward predicate approaches to modality
-
Johannes Stern
Springer c2016 Trends in logic : studia logica library v. 44
Available at 2 libraries
-
17
- Logical studies of paraconsistent reasoning in science and mathematics
-
Holger Andreas, Peter Verdée, editors.
Springer c2016 Trends in logic : studia logica library v. 45
Available at 3 libraries
-
18
- Advances in proof-theoretic semantics
-
Thomas Piecha, Peter Schroeder-Heister, editors
Springer c2016 Trends in logic : studia logica library 43
Available at 2 libraries
-
19
- Logics and falsifications : a new perspective on constructivist semantics
-
Andreas Kapsner
Springer c2014 Trends in logic : studia logica library v. 40
Available at 3 libraries
-
20
- Advances in natural deduction : a celebration in Dag Prawitz's work
-
Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors
Springer c2014 Trends in logic : studia logica library v. 39
Available at 4 libraries