Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

1
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... for Linear Logic -- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...: Constructions in Monadic Second-Order Logic -- On the Complexity of Hybrid Logics with Binders -- The Complexity...”
Cover Image
Read Now

4
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”
Cover Image
Read Now

5
Published 2015
Birkhäuser
Table of Contents: “...22. Sergei Odintsov: Belnap constants and Nelson logic -- 23. Hitoshi Omori and Toshiharu Waragai...”
Cover Image
Read Now

6 Table of Contents: “... Closure systems -- 1.8 First order logic (FOL) -- 2 Basics from Universal Algebra.-2.1 Examples...”
Cover Image
Read Now

7
Published 2018
Springer International Publishing
Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”
Cover Image
Read Now

8
Published 2022
Springer International Publishing
Table of Contents: “... -- Chapter 2. Universal algebraic methods for non-classical logics (James G. Raftery) -- Chapter 3. Abstract...”
Cover Image
Read Now

9
Published 2022
Springer International Publishing
Table of Contents: “...) -- Chapter 3. Logic without Assumptions (1947) (Karl R. Popper) -- Chapter 4. New Foundations for Logic (1947...”
Cover Image
Read Now

10
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

11
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Versioning Competition Workflow Compiler -- A Sequential Model of Bargaining Reasoning in Logic Programming...”
Cover Image
Read Now

12
by Li, Wei, Sui, Yuefei
Published 2024
Springer Nature Singapore
Table of Contents: “...Introduction -- Decidable DLs 30 -- R-calculus for binary-valued description logic -- R-calculi...”
Cover Image
Read Now

13
Published 2023
Springer International Publishing
Table of Contents: “...First steps in updating knowing how -- Parametrized modal logic II: the unidimensional case...”
Cover Image
Read Now

14
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Packaging Mathematical Structures -- Practical Tactics for Separation Logic -- Verified LISP Implementations...”
Cover Image
Read Now

15
Published 2013
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

16
Published 2019
Springer International Publishing
Table of Contents: “... Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient...”
Cover Image
Read Now

17
by Li, Wei, Sui, Yuefei
Published 2022
Springer Nature Singapore
Table of Contents: “...Introduction -- R-Calculus For Propositional Logic -- R-Calculus For L3-Valued Propositional Logic...”
Cover Image
Read Now

18
Published 2023
Springer International Publishing
Table of Contents: “... inverse categories (Robin Cockett and Chris Heunen) -- Chapter 22 -- Reductive logic, proof-search...”
Cover Image
Read Now

19
by Orlowska, Ewa, Golińska Pilarek, Joanna
Published 2011
Springer Netherlands
Table of Contents: “... Logics -- 21. Signed Dual Tableau for G¨odel-Dummett Logic -- 22. Dual Tableaux for First-Order Post...”
Cover Image
Read Now

20
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...”