|
1 |
 |
Advances in Proof-Theoretic Semantics [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
|
2 |
 |
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 / [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
|
3 |
 |
Logic, Action and Cognition: Essays in Philosophical Logic [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
|
4 |
 |
Logic for Concurrency and Synchronisation [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
|
5 |
 |
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay / [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
|
6 |
 |
Logical Studies of Paraconsistent Reasoning in Science and Mathematics [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
|
7 |
 |
The Logical Writings of Karl Popper [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
|
8 |
 |
Structural Reliabilism: Inductive Logic as a Theory of Justification / [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
|
9 |
 |
Topological and Algebraic Structures in Fuzzy Sets: A Handbook of Recent Developments in the Mathematics of Fuzzy Sets / [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
|
10 |
 |
Trends in Logic: 50 Years of Studia Logica / [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
|
11 |
 |
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory / [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
|
12 |
 |
Logics of Variable Inclusion [Ebook]
|
Bonzio, Stefano
|
2022 |
|
Shelf Location: Online resource: Springer.
|
|
13 |
 |
Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics / [Ebook]
|
Chiara, M. Dalla
|
2004 |
|
Shelf Location: Online resource: Springer.
|
|
14 |
 |
Algebraic Foundations of Many-Valued Reasoning [Ebook]
|
Cignoli, Roberto L. O.
|
2000 |
|
Shelf Location: Online resource: Springer.
|
|
15 |
 |
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics / [Ebook]
|
Cintula, Petr
|
2021 |
|
Shelf Location: Online resource: Springer.
|
|
16 |
 |
Freedom and Enforcement in Action: A Study in Formal Action Theory / [Ebook]
|
Czelakowski, Janusz
|
2015 |
|
Shelf Location: Online resource: Springer.
|
|
17 |
 |
Protoalgebraic Logics [Ebook]
|
Czelakowski, Janusz
|
2001 |
|
Shelf Location: Online resource: Springer.
|
|
18 |
 |
Cut Elimination in Categories [Ebook]
|
Došen, Kosta
|
1999 |
|
Shelf Location: Online resource: Springer.
|
|
19 |
 |
Heyting Algebras: Duality Theory [Ebook]
|
Esakia, Leo. 1934-2010
|
2019 |
|
Shelf Location: Online Resource: Springer..
|
|
20 |
 |
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry [Ebook]
|
Ferguson, Thomas Macaulay
|
2017 |
|
Shelf Location: Online resource: Springer.
|
|
21 |
 |
Types, Tableaus, and Gödel’s God [Ebook]
|
Fitting, Melvin
|
2002 |
|
Shelf Location: Online resource: Springer.
|
|
22 |
 |
Fuzzy Logic: Mathematical Tools for Approximate Reasoning / [Ebook]
|
Gerla, Giangiacomo
|
2001 |
|
Shelf Location: Online resource: Springer.
|
|
23 |
 |
Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics / [Ebook]
|
Ghilardi, Silvio
|
2002 |
|
Shelf Location: Online resource: Springer.
|
|
24 |
 |
Metamathematics of Fuzzy Logic [Ebook]
|
Hájek, Petr
|
1998 |
|
Shelf Location: Online resource: Springer.
|
|
25 |
 |
Descriptor Revision: Belief Change through Direct Choice [Ebook]
|
Hansson, Sven Ove
|
2017 |
|
Shelf Location: Online resource: Springer.
|
|
26 |
 |
The Convergence of Scientific Knowledge: A view from the limit / [Ebook]
|
Hendricks, Vincent F.
|
2001 |
|
Shelf Location: Online resource: Springer.
|
|
27 |
 |
Triangular Norms [Ebook]
|
Klement, Erich Peter
|
2000 |
|
Shelf Location: Online resource: Springer.
|
|
28 |
 |
A Model–Theoretic Approach to Proof Theory [Ebook]
|
Kotlarski, Henryk
|
2019 |
|
Shelf Location: Online Resource: Springer..
|
|
29 |
 |
A Guide to Classical and Modern Model Theory [Ebook]
|
Marcja, Annalisa
|
2003 |
|
Shelf Location: Online resource: Springer.
|
|
30 |
 |
Metainferential Logics [Ebook]
|
Pailos, Federico
|
2023 |
|
Shelf Location: Online resource: Springer.
|
|
31 |
 |
Substructural Logics: A Primer [Ebook]
|
Paoli, Francesco
|
2002 |
|
Shelf Location: Online resource: Springer.
|
|
32 |
 |
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work [Ebook]
|
Pereira, Luiz Carlos
|
2014 |
|
Shelf Location: Online Resource: Springer.
|
|
33 |
 |
Foundations of the Theory of Parthood: A Study of Mereology [Ebook]
|
Pietruszczak, Andrzej
|
2020 |
|
Shelf Location: Online resource: Springer.
|
|
34 |
 |
The Is-Ought Problem: An Investigation in Philosophical Logic / [Ebook]
|
Schurz, Gerhard
|
1997 |
|
Shelf Location: Online resource: Springer.
|
|
35 |
 |
Toward Predicate Approaches to Modality [Ebook]
|
Stern, Johannes
|
2016 |
|
Shelf Location: Online resource: Springer.
|
|
36 |
 |
Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning [Ebook]
|
Straßer, Christian
|
2014 |
|
Shelf Location: Online Resource : Springer International Publishing.
|
|
37 |
 |
Leśniewski's Systems of Logic and Foundations of Mathematics [Ebook]
|
Urbaniak, Rafal
|
2014 |
|
Shelf Location: Online Resource : Springer.
|
|
38 |
 |
Displaying Modal Logic [Ebook]
|
Wansing, Heinrich
|
1998 |
|
Shelf Location: Online resource: Springer.
|
