close
1.

電子ブック
ＥＢ
1. Hybrid Logic and its Proof-Theory
by Torben Braüner
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Applied Logic Series ; 37
オンライン: http://dx.doi.org/10.1007/978-94-007-0002-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Paradoxes
by Piotr Lukowski
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Trends in Logic ; 31
オンライン: http://dx.doi.org/10.1007/978-94-007-1476-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. The Selected Correspondence of L.E.J. Brouwer
by Dirk Dalen
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Sources and Studies in the History of Mathematics and Physical Sciences ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-537-8
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Institution-independent Model Theory
by Răzvan Diaconescu ; edited by Jean-Yves Beziau, Hajnal Andréka, Mark Burgin, Răzvan Diaconescu, Josep Maria Font, Andreas Herzig, Arnold Koslow, Jui-Lin Lee, Larissa Maksimova, Grzegorz Malinowski, Darko Sarenac, Peter Schröder-Heister, Vladimir Vasyukov
出版情報: Basel : Birkhäuser Verlag AG, 2008
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-7643-8708-2
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Logicism, Intuitionism, and Formalism : What has Become of Them?
edited by Vincent F. Hendricks, John Symons, Dirk Dalen, Theo A.F. Kuipers, Teddy Seidenfeld, Patrick Suppes, Jan WoleńSki, Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science ; 341
オンライン: http://dx.doi.org/10.1007/978-1-4020-8926-8
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
edited by Ryszard Wójcicki, Vincent F. Hendricks, Daniele Mundici, Ewa Orłowska, Krister Segerberg, Heinrich Wansing, David Makinson, Jacek Malinowski, Heinrich Wansing
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Trends in Logic ; 28
オンライン: http://dx.doi.org/10.1007/978-1-4020-9084-4
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Proof Theory for Fuzzy Logics
by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Applied Logic Series ; 36
オンライン: http://dx.doi.org/10.1007/978-1-4020-9409-5
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Towards a General Theory of Classifications
by Daniel Parrochia, Pierre Neuville
出版情報: Basel : Springer Basel : Imprint: Birkhäuser, 2013
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-0348-0609-1
所蔵情報: loading…
目次情報: 続きを見る
Foreword
1 Philosophical problems
2 Information data structures
3 Empirical Clustering and classic hierarchies
4 Algebra of trees
5 Generalized Classifications
6 Topology of generalized classifications
7 Meta-classification
8 For an axiomatic theory of classifications
9 Alternative theories and higher infinite
10 Postscript
Bibliography.
Foreword
1 Philosophical problems
2 Information data structures
9.

電子ブック
ＥＢ
9. Visual Reasoning with Diagrams
edited by Amirouche Moktefi, Sun-Joo Shin
出版情報: Basel : Springer Basel : Imprint: Birkhäuser, 2013
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-0348-0600-8
所蔵情報: loading…
目次情報: 続きを見る
Preface
1. What is a logical diagram? (Catherine Legg)
2. The geometry of diagrams and the logic of syllogisms (Richard Bosley)
3. A diagrammatic calculus of syllogisms (Ruggero Pagnan)
4. Beyond syllogisms: Carroll’s (marked) quadriliteral diagram (Amirouche Moktefi)
5. A diagrammatic bridge between classical and fuzzy logics (Ferdinando Cavaliere)
6. Diagrammatic reasoning with Classes and relationships (Jørgen Fischer Nilsson)
7. On the completeness of spider diagrams augmented with constants (Gem Stapleton, John Howse, Simon Thompson, John Taylor and Peter Chapman)
8. A practice-based approach to diagrams (Valeria Giardino)
9. Figures, formulae, and functors (Zach Weber)
10. Diagrams and concepts of graph theory (Mitsuko Mizuno)
Preface
1. What is a logical diagram? (Catherine Legg)
2. The geometry of diagrams and the logic of syllogisms (Richard Bosley)
10.

電子ブック
ＥＢ
10. Adaptive Logics for Defeasible Reasoning : Applications in Argumentation, Normative Reasoning and Default Reasoning
by Christian Straßer
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Trends in Logic, Studia Logica Library ; 38
オンライン: http://dx.doi.org/10.1007/978-3-319-00792-2
所蔵情報: loading…
目次情報: 続きを見る
Chapter 1. Introduction
Part I. Adaptive Logics as a Framework for Defeasible Logics
Chapter 2 The Standard Format of Adaptive Logics
Chapter 3. Sequential Combinations of ALs
Chapter 4. On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit
Chapter 5. Generalizing the Standard Format
Part II. Conditional Logics of Normality
Chapter 6. Adaptively Applying Modus Ponens in Conditional Logics of Normality
Chapter 7. An Adaptive Logic for Rational Closure
Part III. Argumentation Theory
Chapter 8. Towards the Proof-Theoretic Unification of Dung’s Argumentation Framework: An Adaptive Logic Approach
Chapter 9. Allowing for Joint Attacks
Part IV. Deontic Logics
Chapter 10. Avoiding Deontic Explosion by Contextually Restricting Modal Inheritance
Chapter 11. An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas
Chapter 12. A Deontic Logic Framework Allowing for Factual Detachment
Appendices
Chapter 1. Introduction
Part I. Adaptive Logics as a Framework for Defeasible Logics
Chapter 2 The Standard Format of Adaptive Logics