Predicate logic
著者
書誌事項
Predicate logic
（The Semantic foundations of logic）
Oxford University Press, 1994
大学図書館所蔵 件 / 全25件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
The use of semantics in computation and logic is an important topic and one that is receiving increasing attention in journals and research. This volume covers all aspects of semantics and their applications to logic, describing formal semantics, truth tables and translations between logics. The text should be of interest to computer scientists working in logic and artificial intelligence and linguistics, philosophers, and applied mathematicians working in semantics and logic.
目次
1: Propositions and propositional logic. 2: The internal structure of propositions. 3: A formal language for predicate logic. 4: Semantics. 5: The logical form of a proposition. 6: Identity. 7: Quantifiers. 8: Descriptive names. 9: Functions. 10: Quantifying over predicates: Second-order logic. 11: Language, the world, and predicate logic. Appendices. Bibliography. Index of examples. Index of Notation. Index
「Nielsen BookData」 より