↓ Skip to main content

Logic, Language, Information, and Computation

Overview of attention for book
Cover of 'Logic, Language, Information, and Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Inhabitants of Intuitionistic Implicational Theorems
  3. Altmetric Badge
    Chapter 2 Symbolic Reasoning Methods in Rewriting Logic and Maude
  4. Altmetric Badge
    Chapter 3 A Semantical View of Proof Systems
  5. Altmetric Badge
    Chapter 4 A Formalization of Brouwer’s Argument for Bar Induction
  6. Altmetric Badge
    Chapter 5 Deciding Open Definability via Subisomorphisms
  7. Altmetric Badge
    Chapter 6 APAL with Memory Is Better
  8. Altmetric Badge
    Chapter 7 Lindenbaum and Pair Extension Lemma in Infinitary Logics
  9. Altmetric Badge
    Chapter 8 The Epistemology of Nondeterminism
  10. Altmetric Badge
    Chapter 9 Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic
  11. Altmetric Badge
    Chapter 10 Unification Modulo Builtins
  12. Altmetric Badge
    Chapter 11 Formalization of the Undecidability of the Halting Problem for a Functional Language
  13. Altmetric Badge
    Chapter 12 Handling Verb Phrase Anaphora with Dependent Types and Events
  14. Altmetric Badge
    Chapter 13 Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving
  15. Altmetric Badge
    Chapter 14 Advanced Kripke Frame for Quantum Logic
  16. Altmetric Badge
    Chapter 15 The Undecidability of Orthogonal and Origami Geometries
  17. Altmetric Badge
    Chapter 16 Algebraic Semantics for Nelson’s Logic $$\mathcal {S}$$ S
  18. Altmetric Badge
    Chapter 17 Beliefs Based on Evidence and Argumentation
  19. Altmetric Badge
    Chapter 18 The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Logic, Language, Information, and Computation
Published by
Springer Berlin Heidelberg, July 2018
DOI 10.1007/978-3-662-57669-4
ISBNs
978-3-66-257668-7, 978-3-66-257669-4
Editors

Moss, Lawrence S., de Queiroz, Ruy, Martinez, Maricarmen

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 100%
Readers by discipline Count As %
Mathematics 1 100%