Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical

1
by Hájek, Petr
Published 1998
Springer Netherlands
Table of Contents: ... and their residua -- 2.2 The basic many-valued logic -- 2.3 Residuated lattices; a completeness theorem -- 2.4 Some...

2
Published 1989
Springer Netherlands
Table of Contents: ..., and Opacity in Relevant Logic -- 21. Relevance Logic and Inferential Knowledge -- 22. Semantics Unlimited I: A...

3
by Fraïssé, R.
Published 1974
Springer Netherlands
Table of Contents: .... Logical Convergence -- 2.2. Compactness Theorem -- 2.3. Omission Theorem -- 2.4. Interpretability Theorem...

4
Published 2022
Springer International Publishing
Table of Contents: ... -- Chapter 2. Universal algebraic methods for non-classical logics (James G. Raftery) -- Chapter 3. Abstract...

5
by Marx, Maarten, Venema, Yde
Published 1997
Springer Netherlands
Table of Contents: ... to read this book -- 2 Two-dimensional modal logics -- 2.1 Operations on the square universe -- 2.2...

6
Published 2022
Springer International Publishing
Table of Contents: ...) -- Chapter 3. Logic without Assumptions (1947) (Karl R. Popper) -- Chapter 4. New Foundations for Logic (1947...

7
by Fitting, M., Mendelsohn, Richard L.
Published 1998
Springer Netherlands
Table of Contents: ... -- 2.2 Tableaus -- 2.3 More Tableau Systems -- 2.4 Logical Consequence and Tableaus -- 2.5 Tableaus Work...

8
Published 2023
Springer International Publishing
Table of Contents: ...First steps in updating knowing how -- Parametrized modal logic II: the unidimensional case...

9
by Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents: ... AND MATHEMATICS; Chapter 18 Towards a Foundation of General Proof Theory; Chapter 19 In Memoriam to Richard...

10
by Coletti, Giulianella, Scozzafava, R.
Published 2002
Springer Netherlands
Table of Contents: ... as Propositions -- 2.1 Basic concepts -- 2.2 From “belief” to logic? -- 2.3 Operations -- 2.4 Atoms (or “possible...

11
by Marcja, Annalisa, Toffalori, Carlo
Published 2003
Springer Netherlands
Table of Contents: ... -- Quantifier Elimination -- 2.1 Elimination sets -- 2.2 Discrete linear orders -- 2.3 Dense linear orders...

12
by Menger, Karl
Published 1979
Springer Netherlands
Table of Contents: ...I. Papers Introducing Logical Tolerance -- Logical Tolerance in the Vienna Circle -- 1 The New...

13
by Niiniluoto, I.
Published 1987
Springer Netherlands
Table of Contents: .... Logical Tools -- 2.1. Monadic Languages NL -- 2.2. Q-Predicates -- 2.3. State Descriptions -- 2.4...

14
Published 2023
Springer International Publishing
Table of Contents: ... inverse categories (Robin Cockett and Chris Heunen) -- Chapter 22 -- Reductive logic, proof-search...

15
by Fletcher, P.
Published 1998
Springer Netherlands
Table of Contents: ...27. From Logic to the Calculus of Proof Functions -- 28. Calculus of Proof Functions -- 29. From...

16
Published 2023
Springer International Publishing
Table of Contents: ... Correia’s ‘a new semantic framework for the logic of worldly grounding (and beyond)’ (Kit Fine) -- Chapter...

17
by Ramsey, Frank Plumpton
Published 1991
Springer Netherlands
Table of Contents: ...On Truth -- Introduction: Logical Values -- I. The Nature of Truth -- II. The Coherence Theory...