↓ Skip to main content
What is this page? Embed badge

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 The Useful MAM, a Reasonable Implementation of the Strong \(\lambda \) -Calculus
  3. Altmetric Badge
    Chapter 2 Compactness in Infinitary Gödel Logics
  4. Altmetric Badge
    Chapter 3 Cut Elimination for Gödel Logic with an Operator Adding a Constant
  5. Altmetric Badge
    Chapter 4 A Classical Propositional Logic for Reasoning About Reversible Logic Circuits
  6. Altmetric Badge
    Chapter 5 Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
  7. Altmetric Badge
    Chapter 6 Justified Belief and the Topology of Evidence
  8. Altmetric Badge
    Chapter 7 Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints
  9. Altmetric Badge
    Chapter 8 Expressivity of Many-Valued Modal Logics, Coalgebraically
  10. Altmetric Badge
    Chapter 9 Second-Order False-Belief Tasks: Analysis and Formalization
  11. Altmetric Badge
    Chapter 10 Categories: How I Learned to Stop Worrying and Love Two Sorts
  12. Altmetric Badge
    Chapter 11 A Logical Approach to Context-Specific Independence
  13. Altmetric Badge
    Chapter 12 Logic, Language, Information, and Computation
  14. Altmetric Badge
    Chapter 13 Causality in Bounded Petri Nets is MSO Definable
  15. Altmetric Badge
    Chapter 14 A Multi-type Calculus for Inquisitive Logic
  16. Altmetric Badge
    Chapter 15 A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits
  17. Altmetric Badge
    Chapter 16 True Concurrency of Deep Inference Proofs
  18. Altmetric Badge
    Chapter 17 On the Complexity of the Equational Theory of Residuated Boolean Algebras
  19. Altmetric Badge
    Chapter 18 Semantic Equivalence of Graph Polynomials Definable in Second Order Logic
  20. Altmetric Badge
    Chapter 19 Sheaves of Metric Structures
  21. Altmetric Badge
    Chapter 20 A Curry–Howard View of Basic Justification Logic
  22. Altmetric Badge
    Chapter 21 On the Formalization of Some Results of Context-Free Language Theory
  23. Altmetric Badge
    Chapter 22 The Semantics of Corrections
  24. Altmetric Badge
    Chapter 23 The Expressive Power of k-ary Exclusion Logic
  25. Altmetric Badge
    Chapter 24 Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
  26. Altmetric Badge
    Chapter 25 Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited
  27. Altmetric Badge
    Chapter 26 Anaphors and Quantifiers
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users

Readers on

mendeley
4 Mendeley
Summary X
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, January 2016
DOI 10.1007/978-3-662-52921-8
ISBNs
978-3-66-252920-1, 978-3-66-252921-8
Editors

Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users 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 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 25%
Unknown 3 75%
Readers by discipline Count As %
Linguistics 1 25%
Unknown 3 75%

This page is provided by Altmetric.