Search alternatives:
"logician" » "logicians", "logica"
"logicas" » "logics", "logica", "logicae"
"logiciel" » "logiciels"

1
by Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents: ...: From General to Transcendental Logic (M. Tiles) -- Hegel's Logic (J.W. Burbidge) -- Bolzano as Logician...

2
by Gabbay, Dov M.
Published 2003
Elsevier North Holland
Table of Contents: ...Part I: Introduction -- Chapter 1. Modal logic basics -- Chapter 2. Applied modal logic -- Chapter...

3
by Jacobs, Bart
Published 1999
Elsevier Science
Table of Contents: ... to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order...

4
by Benthem, Johan van
Published 1997
Elsevier
Table of Contents: ...Montague grammar / B.H. Partee with H.L.W. Hendricks -- Categorial type logics / M. Moortgat...

5
by Ciardelli, Ivano
Published 2022
Springer International Publishing
Table of Contents: ...1. Introduction -- 2. On the role of questions in logic -- 3. Questions in propositional logic -- 4...

6
by Kapsner, Andreas
Published 2014
Springer International Publishing
Table of Contents: ... to Verifications, and on to Falsifications -- Falsificationism -- Part 3. Logics -- Introduction to Part Three...

7
Published 2022
Springer International Publishing
Table of Contents: .... Reviews of Popper’s Articles on Logic (Wilhelm Ackermann et.al) -- Part II: Manuscripts -- Chapter 14...

8
by Urbaniak, Rafal
Published 2014
Springer International Publishing
Subjects: ...Mathematical logic...

9
by Indrzejczak, Andrzej
Published 2010
Springer Netherlands
Table of Contents: ... Deduction -- Survey of Modal Logics -- Standard Approach to Basic Modal Logics -- Beyond Basic Logics...

10
by Buss, Samuel R.
Published 1998
Elsevier
Table of Contents: ...). Chapter VI. Realizability (A.S. Troelstra). Chapter VII. The Logic of Provability (G. Japaridze, D. de...

11
Published 2020
Springer International Publishing
Subjects: ...Logic...

12
Published 2014
Springer Netherlands
Table of Contents: ... -- Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic; Joinet, Jean-Baptiste -- Chapter 4. Natural...

13
by Esakia, Leo
Published 2019
Springer International Publishing
Subjects: ...Mathematical logic...

14
Published 2016
Springer International Publishing
Table of Contents: ... between Gentzen and Heyting inspired PTS; Dag Prawitz -- Chapter 9. Unification of logics by reflection...

15
by Dalla Chiara, Maria Luisa, Giuntini, Roberto, Greechie, Richard
Published 2004
Springer Netherlands
Table of Contents: ... ambiguous? -- II Quantum Logics as Logic -- 8. Sharp quantum logics -- 9. Metalogical properties...

16
Published 2003
Springer Netherlands
Table of Contents: ... -- Mathematical Logic and Natural Language: Life at the border -- Bayesian Networks in Philosophy...

17
by Pietruszczak, Andrzej
Published 2020
Springer International Publishing
Table of Contents: ... transitivity -- Appendix A. Logic and set theory -- Appendix B. Algebra...

18
Published 2004
Springer Netherlands
Subjects: ...Mathematical logic...