Intensional and Higher-Order Modal Logic

Daniel Gallin‏

شهریور ۲۰۱۶ · Elsevier

ای-کتاب

158

صفحه‌ها

واجد شرایط

رده‌بندی‌ها و مرورها به‌تأیید نمی‌رسند. بیشتر بدانید

درباره این ای-کتاب

North-Holland Mathematics Studies, 19: Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics focuses on an approach to the problem of providing a precise account of natural language syntax and semantics, including the set-theoretic semantical methods, Boolean models, and two-sorted type theory. The book first offers information on intensional logic and alternative formulations of intensional logic. Topics include two-sorted type theory, normal forms, extensions and intensional logic, modal T-logic, persistence in intensional logic, generalized completeness of intensional logic, and natural language and intensional logic. The text then examines higher-order modal logic and algebraic semantics. Discussions focus on Cohen's independence results, topological models of MLp, modal independence results, Boolean models of MLp, relative strength of intensional logic and MLp, propositional operators, modal predicate logic, and propositions in MLp. The monograph is a valuable reference for mathematicians and researchers interested in intensional and higher-order modal logic.

رده‌بندی این کتاب الکترونیک

نظرات خود را به ما بگویید.

اطلاعات مطالعه

تلفن هوشمند و رایانه لوحی

برنامه «کتاب‌های Google Play» را برای Android و iPad/iPhone بارگیری کنید. به‌طور خودکار با حسابتان همگام‌سازی می‌شود و به شما امکان می‌دهد هر کجا که هستید به‌صورت آنلاین یا آفلاین بخوانید.

رایانه کیفی و رایانه

با استفاده از مرورگر وب رایانه‌تان می‌توانید به کتاب‌های صوتی خریداری‌شده در Google Play گوش دهید.

eReaderها و دستگاه‌های دیگر

برای خواندن در دستگاه‌های جوهر الکترونیکی مانند کتاب‌خوان‌های الکترونیکی Kobo، باید فایل مدنظرتان را بارگیری و به دستگاه منتقل کنید. برای انتقال فایل به کتاب‌خوان‌های الکترونیکی پشتیبانی‌شده، دستورالعمل‌های کامل مرکز راهنمایی را دنبال کنید.

گزارش محتوای غیرقانونی