Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Gallin D. — Intensional and higher-order modal logic: With applications to Montague semantics (North-Holland mathematics studies)
Gallin D. — Intensional and higher-order modal logic: With applications to Montague semantics (North-Holland mathematics studies)

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Intensional and higher-order modal logic: With applications to Montague semantics (North-Holland mathematics studies)

Автор: Gallin D.

Аннотация:

Intensional and Higher-Order Modal Logic With Applications to Montague Semantics Copyright Page Contents PART I: INTENSIONAL LOGIC CHAPTER 1. INTENSIONAL LOGIC 1. Natural Language and Intensional Logic 2. The Logic IL 3. Generalized Completeness of IL 4. Persistence in IL CHAPTER 2. ALTERNATIVE FORMULATIONS OF IL 5. Modal T-Logic 6. Extensions of IL and ML_T 7. Normal Forms 8. Two-Sorted Type Theory PART II: HIGHER-ORDER MODAL LOGIC CHAPTER 3. HIGHER-ORDER MODAL LOGIC 9. Modal Predicate Logic 10. Propositions in ML_p 11. Atomic Propositions and EC 12. Propositional Operators 13. Relative Strength of IL and ML_p CHAPTER 4. ALGEBRAIC SEMANTICS 14. Boolean Models of ML_p 15. Modal Independence Results 16. Topological Models of ML_p 17. Cohen's Independence Results Bibliogr
Read more at http://ebookee.org/Intensional-and-higher-order-modal-logic-Volume-19-With-applications-to-Montague-semantics-North-Holland-Mathematics-Studies_1268699.html#aeQh2A1gxmGZJxJl.99


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1975

Количество страниц: 159

Добавлена в каталог: 06.10.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте