999 followers
ブラウワーのbar inductionに適用して，部分的なnormalizationを証明したり．https://t.co/aP4wnSLZ44
Logic, Language, Information, and Computation
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Inhabitants of Intuitionistic Implicational Theorems
-
Altmetric BadgeChapter 2 Symbolic Reasoning Methods in Rewriting Logic and Maude
-
Altmetric BadgeChapter 3 A Semantical View of Proof Systems
-
Altmetric BadgeChapter 4 A Formalization of Brouwer’s Argument for Bar Induction
-
Altmetric BadgeChapter 5 Deciding Open Definability via Subisomorphisms
-
Altmetric BadgeChapter 6 APAL with Memory Is Better
-
Altmetric BadgeChapter 7 Lindenbaum and Pair Extension Lemma in Infinitary Logics
-
Altmetric BadgeChapter 8 The Epistemology of Nondeterminism
-
Altmetric BadgeChapter 9 Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic
-
Altmetric BadgeChapter 10 Unification Modulo Builtins
-
Altmetric BadgeChapter 11 Formalization of the Undecidability of the Halting Problem for a Functional Language
-
Altmetric BadgeChapter 12 Handling Verb Phrase Anaphora with Dependent Types and Events
-
Altmetric BadgeChapter 13 Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving
-
Altmetric BadgeChapter 14 Advanced Kripke Frame for Quantum Logic
-
Altmetric BadgeChapter 15 The Undecidability of Orthogonal and Origami Geometries
-
Altmetric BadgeChapter 16 Algebraic Semantics for Nelson’s Logic $$\mathcal {S}$$ S
-
Altmetric BadgeChapter 17 Beliefs Based on Evidence and Argumentation
-
Altmetric BadgeChapter 18 The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents
Altmetric Badge
Readers on
- mendeley
- 1 Mendeley