Search alternatives:
national science » spatial science, animal science, natural sciences
natural science » natural sciences
Cover Image
Read Now

1
Published 2003
Springer Netherlands
Table of Contents: “... -- Mathematical Logic and Natural Language: Life at the border -- Bayesian Networks in Philosophy...”
Cover Image
Read Now

2
Published 2014
Springer Netherlands
Table of Contents: “... -- Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic; Joinet, Jean-Baptiste -- Chapter 4. Natural...”
Cover Image
Read Now

3
by Indrzejczak, Andrzej
Published 2010
Springer Netherlands
Table of Contents: “...Preliminaries -- Standard Natural Deduction -- Other Deductive Systems -- Extended Natural...”
Cover Image
Read Now

4
by Atkinson, David
Published 2017
Springer Nature
Subjects: “...Philosophical Foundations of Physics and Astronomy...”
Cover Image
Read Now

5
Published 2003
Springer Netherlands
Table of Contents: “... Result -- 7 On the Persistent Difficulty of Disjunction -- II Science -- 8 Science, Lifeworld...”
Cover Image
Read Now

6
Published 2008
Springer Milan
Subjects: “...Computer science...”
Cover Image
Read Now

7
by Dorn, Georg, Weingartner, Paul
Published 1985
Springer US
Table of Contents: “...Foundations of Logic: Mathematical Logic -- Consequence Relations of 2-element Algebras -- On a...”
Cover Image
Read Now

8
Published 2015
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

9
by Viganò, Luca
Published 2000
Springer US
Table of Contents: “...1. Introduction -- I Labelled deduction for non-classical logics -- 2. Labelled Natural Deduction...”
Cover Image
Read Now

10
by Tieszen, R.L.
Published 1989
Springer Netherlands
Table of Contents: “.... Natural Numbers I -- 1. Introduction -- 2. The Concept of Number Cannot Be Explicitly Defined -- 3...”
Cover Image
Read Now

11
Published 1995
Springer Netherlands
“... at Amherst, and supported by National Science Foundation Grant BNS 871999. The publication also reflects...”
Cover Image
Read Now

12
Published 1995
Springer Netherlands
Table of Contents: “... -- Optimization of Deduction for Multi-Modal Logics -- Are Types Needed for Natural Language? -- Indexical...”
Cover Image
Read Now

13
Published 1995
Springer Netherlands
Table of Contents: “... Property -- Pre-Ordered Quantifiers in Elementary Sentences of Natural Language -- Some Remarks...”
Cover Image
Read Now

14
Published 2000
Springer Netherlands
Table of Contents: “... in the Case of Mathematical Progress -- The Nature of Progress in Mathematics: the Significance of Analogy...”
Cover Image
Read Now

15
Published 1995
Springer Netherlands
Table of Contents: “... and Logics over Finite Structures -- Quantifiers in Natural Language: A Survey of Some Recent Work -- Index...”
Cover Image
Read Now

16
by Detlefsen, M.
Published 1986
Springer Netherlands
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

17
by Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents: “...PART VI FOUNDATIONS OF PROBABILITY AND INDUCTIONChapter 33 Probability in Science: A Personalistic...”
Cover Image
Read Now

18
by Dosen, K.
Published 1999
Springer Netherlands
Table of Contents: “...2. Functors -- 3. Natural Transformations -- 4. Adjunctions -- 5. Comonads -- 6. Cartesian...”
Cover Image
Read Now

19
Published 1999
Springer Netherlands
Table of Contents: “... in Natural Language -- What a Linguist Might Want From a Logic of MOST and Other Generalized Quantifiers...”
Cover Image
Read Now

20
Published 1984
Springer Netherlands
Subjects: “...Mathematical Logic and Foundations...”