Search records | 東京工業大学附属図書館蔵書検索

目次情報: 続きを見る

The formalism $\mathcal L$of predicate logic

The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$

The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$

The relative equipollence of $\mathcal L$ and $\mathcal L^+$, and the formalization of set theory in $\mathcal L^\times$

Some improvements of the equipollence results Implications of the main results for semantic and axiomatic foundations of set theory

Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers

Applications to relation algebras and to varieties of algebras

Bibliography

Indices

The formalism $\mathcal L$of predicate logic

The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$

The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$

目次情報: 続きを見る

Preface

Model-Theoretic Semantics of Mass Terms / Part I：

Introduction / 1：

Mass terms / 2：

Approaches to mass term semantics / 3：

Towards a semantic theory of mass nouns / 4：

Ensemble theory / 5：

Semantic representations based on ensemble theory / 6：

Two-level model-theoretic semantics / 7：

Quantification and mass nouns / 8：

Modification and mass nouns / 9：

Ensemble Theory / Part II：

Axiomatic ensemble theory / 10：

Continuous, discrete and mixed ensembles / 11：

A model for ensemble theory / 12：

Ensemble theory, set theory and mereology / 13：

Notes

Bibliography

Index

Preface

Model-Theoretic Semantics of Mass Terms / Part I：

Introduction / 1：