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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 16,00 für den Versand von Deutschland nach USA
Versandziele, Kosten & DauerEUR 28,64 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerAnbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 GAL 9780720403602 Sprache: Englisch Gewicht in Gramm: 550. Bestandsnummer des Verkäufers 2498788
Anzahl: 1 verfügbar
Anbieter: Messinissa libri, Milano, MI, Italien
brossura paperback. Zustand: Buono (Good). BTT144LBrossura editoriale,in lingua inglese, volume in buone condizioni, lievi segni di usura causati dal fattore tempo sulla copertina, interno in ottimo stato, legatura salda, piccola firma sulla prima pagina158 pagine circacopertina come da fotoISBN/ASIN 072040360X. Book. Bestandsnummer des Verkäufers bc_202468
Anzahl: 1 verfügbar
Anbieter: Emile Kerssemakers ILAB, Heerlen, Niederlande
24 cm. original softcover. x,148 pp. bibliography. ISBN New York: 044411002X. "Mathematical Studies". -(few signs of use, 2cm tear in front cover, otherwise (very) good). 345g. Bestandsnummer des Verkäufers 72701
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 158 pages. 9.20x6.30x0.70 inches. In Stock. Bestandsnummer des Verkäufers zk072040360X
Anzahl: 1 verfügbar
Anbieter: Reader's Corner, Inc., Raleigh, NC, USA
Trade Paperback. Zustand: Fine. First Edition. This is a fine first edition paperback copy, yellow spine. Bestandsnummer des Verkäufers 061638
Anzahl: 1 verfügbar