Téléchargez le livre : Intensional and Higher-Order Modal Logic

Intensional and Higher-Order Modal Logic

With Applications to Montague Semantics

de

Éditeur :

North Holland


Paru le : 2016-06-03



eBook Téléchargement ebook sans DRM
26,32 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
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.
Pages
158 pages
Collection
n.c
Parution
2016-06-03
Marque
North Holland
EAN papier
9780720403602
EAN PDF SANS DRM
9781483274737
Informations sur l'ebook
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
26,32 €

Suggestions personnalisées