Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan ·

Source URL: cakeml.org

• Mathematical logic
• Mathematics
• Logic
• Logic in computer science
• Proof assistants
• Model theory
• Proof theory
• Foundations of mathematics
• ZermeloFraenkel set theory
• HOL
• Gdel's completeness theorem
• Gdel's incompleteness theorems

Journal of Semantics 26: 367–392 doi:jos/ffp008 Advance Access publication July 27, 2009 Branching Quantification v. Two-way Quantification NINA GIERASIMCZUK AND JAKUB SZYMANIK

Source URL: jakubszymanik.com

Journal of Semantics 14: © Oxford University Press 1997 Good News about the Description Theory of Names BART GEURTS

Source URL: ncs.ruhosting.nl

Journal of Semantics 22: 97–117 doi:jos/ffh018 Monotonicity and Processing Load BART GEURTS AND FRANS VAN DER SLIK University of Nijmegen

Source URL: ncs.ruhosting.nl

Review: [untitled] Author(s): Ruth M. Kempson Reviewed work(s): Studies in Linguistic Semantics by C. J. Fillmore; D. T. Langendoen Source: Journal of Linguistics, Vol. 9, No. 1 (Feb., 1973), ppPublished by: Ca

Source URL: dingo.sbs.arizona.edu

POLISH JOURNAL OF PHILOSOPHY Vol. III, No. 1 (Spring 2009), Notes on Books Manuel Bremer, Conceptual Atomist and Justificationist Semantics,

Source URL: www.pjp.edu.pl

Journal of Semantics Advance Access published July 10, 2014 Journal of Semantics, 0, 2014: 1–40 doi:jos/ffu006 A Pragmatic Account of Complexity in Definite

Source URL: tedlab.mit.edu

Journal of Memory and Language 40, 409 – Article ID jmla, available online at http://www.idealibrary.com on Argumenthood and English Prepositional Phrase Attachment Carson T. Schu¨tze Department o

Source URL: tedlab.mit.edu

• Syntax
• Linguistics
• Cognitive science
• Syntactic categories
• Grammar
• Semantics
• Semiotics
• Grammatical modifier
• Predicate
• Lexical semantics
• Noun phrase
• Phrase

Journal of Artificial Intelligence Research163 Submitted; publishedDistributional Correspondence Indexing for Cross-Lingual and Cross-Domain Sentiment Classification.

Source URL: jair.org

• Algebra
• Natural language processing
• Mathematics
• Computational linguistics
• Information science
• Machine learning
• Vectors
• Semantics
• Distributional semantics
• Latent semantic analysis
• Semantic similarity
• Domain adaptation

A note on stress in intransitives in English - Snippets - A journal of technical notes in natural language syntax and semanticsDecember 2007

Source URL: www.ledonline.it

• Linguistics
• Culture
• Language
• Parts of speech
• Phonetics
• Phonology
• Semantics
• Systemic functional linguistics
• Focus
• Stress
• Carlos Gussenhoven
• Intonation