close
1.

図書
図書
1. The foundations of mathematics. 2nd ed (: pbk)
Ian Stewart and David Tall
出版情報: Oxford : Oxford University Press, 2015  xvi, 391 p. ; 22 cm
所蔵情報: loading…
2.

図書
図書
2. Deductive systems and the decidability problem for hybrid logics (: pbk. Jagiellonian University Press)
Michał Zawidzki
出版情報: Łódź : Łódź University Press , Kraków : Jagiellonian University Press, c2014  xiv, 215 p. ; 24 cm
所蔵情報: loading…
3.

図書
図書
3. Mathematical logic : foundations for information science
Wei Li
出版情報: Basel : Birkhäuser, c2010  xii, 261 p. ; 24 cm
シリーズ名: Progress in computer science and applied logic ; v. 25
所蔵情報: loading…
目次情報: 続きを見る
Preface
Syntax of First-Order Languages / Chapter 1：
Symbols of first-order languages / 1.1：
Terms / 1.2：
Logical formulas / 1.3：
Free variables and substitutions / 1.4：
Gödel terms of formulas / 1.5：
Proof by structural induction / 1.6：
Models of First-Order Languages / Chapter 2：
Domains and interpretations / 2.1：
Assignments and models / 2.2：
Semantics of terms / 2.3：
Semantics of logical connective symbols / 2.4：
Semantics of formulas / 2.5：
Satisfiability and validity / 2.6：
Valid formulas with ↔ / 2.7：
Hintikka set / 2.8：
Herbrand model / 2.9：
Herbrand model with variables / 2.10：
Substitution lemma / 2.11：
Theorem of isomorphism / 2.12：
Formal Inference Systems / Chapter 3：
G inference system / 3.1：
Inference trees, proof trees and provable sequents / 3.2：
Soundness of the G inference system / 3.3：
Compactness and consistency / 3.4：
Completeness of the G inference system / 3.5：
Some commonly used inference rules / 3.6：
Proof theory and model theory / 3.7：
Computability & Representability / Chapter 4：
Formal theory / 4.1：
Elementary arithmetic theory / 4.2：
P-kernel on N / 4.3：
Church-Turing thesis / 4.4：
Problem of representability / 4.5：
States of P-kernel / 4.6：
Operational calculus of P-kernel / 4.7：
Representations of statements / 4.8：
Representability theorem / 4.9：
Gödel Theorems / Chapter 5：
Self-referential proposition / 5.1：
Decidable sets / 5.2：
Fixed point equation in π / 5.3：
Gödel's incompleteness theorem / 5.4：
Gödel's consistency theorem / 5.5：
Halting problem / 5.6：
Sequences of Formal Theories / Chapter 6：
Two examples / 6.1：
Sequences of formal theories / 6.2：
Proschemes / 6.3：
Resolvent sequences / 6.4：
Default expansion sequences / 6.5：
Forcing sequences / 6.6：
Discussions on proschemes / 6.7：
Revision Calculus / Chapter 7：
Necessary antecedents of formal consequences / 7.1：
New conjectures and new axioms / 7.2：
Refutation by facts and maximal contraction / 7.3：
R-calculus / 7.4：
Some examples / 7.5：
Special theory of relativity / 7.6：
Darwin's theory of evolution / 7.7：
Reachability of R-calculus / 7.8：
Soundness and completeness of R-calculus / 7.9：
Basic theorem of testing / 7.10：
Version Sequences / Chapter 8：
Versions and version sequences / 8.1：
The Proscheme Open / 8.2：
Convergence of the proscheme / 8.3：
Commutativity of the proscheme / 8.4：
Independence of the proscheme / 8.5：
Reliable proschemes / 8.6：
Inductive Inference / Chapter 9：
Ground terms, basic sentences, and basic instances / 9.1：
Inductive inference system A / 9.2：
Inductive versions and inductive process / 9.3：
The Proscheme Guina / 9.4：
Convergence of the proscheme Guina / 9.5：
Commutativity of the proscheme Guina p206 / 9.6：
Independence of the proscheme GUINA / 9.7：
Workflows for Scientific Discovery / Chapter 10：
Three language environments / 10.1：
Basic principles of the meta-language environment / 10.2：
Axiomatization / 10.3：
Formal methods / 10.4：
Workflow of scientific research / 10.5：
Sets and Maps / Appendix 1：
Substitution Lemma and Its Proof / Appendix 2：
Proof of the Representability Theorem / Appendix 3：
Representation of the while statement in π / A3.1：
Representability of the P-procedure body / A3.2：
Bibliography
Index
Preface
Syntax of First-Order Languages / Chapter 1：
Symbols of first-order languages / 1.1：
4.

図書
図書
4. Handbook of logic and language. 2nd ed (: pbk)
Johan van Benthem, Alice ter Meulen
出版情報: London ; Tokyo : Elsevier, 2011  xxii, 1146 p. ; 25 cm
シリーズ名: Elsevier insights
所蔵情報: loading…
目次情報: 続きを見る
Preface
Frameworks / Part 1：
Montague Grammar / B. Partee ; H. Hendriks1：
Categorial Type Logics / M. Moortgat2：
Discourse Representation in Context / H. Kamp ; J. van Eijck3：
Situation Theory / J. Seligman ; L. Moss4.1：
Situations, Constraints and Channels / E. Mares ; G. Restall4.2：
GB Theory: An Introduction / J. Higginbotham5.1：
After Government and Binding Theory / E. Stabler5.2：
Game-Theoretical Semantics / J. Hintikka ; G. Sandu6.1：
Game-Theoretical Pragmatics / J. G. Jäger6.2：
General Topics / Part 2：
Compositionality / Th. Janssen7：
Types / R. Turner8：
Dynamics / R. Muskens ; J. van Benthem ; A. Visser9.1：
Dynamic Epistemic Logic / B. Kooi9.2：
Partiality / J-E. Fenstad10：
Formal Learning Theory / D. Osherson ; D. de Jongh ; E. Martin ; S. Weinstein11.1：
Computational Language Learning / M. van Zaanen ; C. de la Higuera11.2：
Non-monotonicity in Linguistics / R. Thomason12.1：
Non-monotonic Reasoning in Interpretation / R. van Rooij ; K. Schulz12.2：
Descriptive Topics / Part 3：
Generalized Quantifiers / E. Keenan ; D. Westerståhl13.1：
On the Learnability of Quantifiers / R. Clark13.2：
Temporality / M. Steedman14.1：
Tense, Aspect, and Temporal Representation / H. Verkuyl14.2：
Plurals and Collectives / J. Lønning15.1：
Plural Discourse Reference / A. Brasoveanu15.2：
Questions / J. Groenendijk ; M. Stokhof16.1：
Questions: Logic and Interactions / J. Ginzburg16.2：
Preface
Frameworks / Part 1：
Montague Grammar / B. Partee ; H. Hendriks1：
5.

図書
図書
5. An introduction to Gödel's theorems. 2nd ed (: hardback ; : pbk.)
Peter Smith
出版情報: Cambridge, UK : Cambridge University Press, 2013  xvi, 388 p. ; 26 cm
シリーズ名: Cambridge introductions to philosophy
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼