Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,055,569 papers from all fields of science
Search
Sign In
Create Free Account
Higher order grammar
Known as:
Higher-order grammar
, Hog
Higher order grammar (HOG) is a grammar theory based on higher-order logic. It can be viewed simultaneously as generative-enumerative (like…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Categorial grammar
Head-driven phrase structure grammar
Lexical functional grammar
Montague grammar
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Grammatical Framework: Programming with Multilingual Grammars
Aarne Ranta
2011
Corpus ID: 60235634
Grammatical Framework is a programming language designed for writing grammars, which has the capability of addressing several…
Expand
2011
2011
Universal Higher Order Grammar
Victor Gluzberg
arXiv.org
2011
Corpus ID: 2783791
We examine the class of languages that can be defined entirely in terms of provability in an extension of the sorted type theory…
Expand
2009
2009
A Note On Higher Order Grammar
Victor Gluzberg
arXiv.org
2009
Corpus ID: 2523569
Both syntax-phonology and syntax-semantics interfaces in Higher Order Grammar (HOG) are expressed as axiomatic theories in higher…
Expand
2008
2008
Local computation of β-reduction 1 A concrete presentation of Game Semantics 2
W. Blum
,
C. Ong
2008
Corpus ID: 10384067
5 We show that ...
2007
2007
Czech clitics in higher order grammar
Jirka Hana
2007
Corpus ID: 8138162
This paper presents an analysis of certain aspects of Czech sentential clitics in Higher Order Grammar. I focus on the relative…
Expand
2005
2005
Hyperintensional Semantics in A Higher-Order Logic with Definable Subtypes
C. Pollard
2005
Corpus ID: 16800289
Higher order grammar (HOG) is a linguistic formalism that aims to combine the advantages of existing constraint-based formalisms…
Expand
2003
2003
Chapter 1 Ambiguity , Neutrality , and Coordination in Higher-Order Grammar
C. Pollard
2003
Corpus ID: 18512879
We show that the standard account of neutrality and coordin atio in type-logical grammar is untenable. However, when using as our…
Expand
2001
2001
Deciding Monadic Theories of Hyperalgebraic Trees
Teodor Knapik
,
D. Niwinski
,
P. Urzyczyn
International Conference on Typed Lambda Calculus…
2001
Corpus ID: 16291446
We show that the monadic second-order theory of any infinite tree generated by a higher-order grammar of level 2 subject to a…
Expand
Review
1977
Review
1977
Review: Daniel Gallin, Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics
K. Bowen
1977
Corpus ID: 115560350
Review
1975
Review
1975
Intensional and Higher-Order Modal Logic, With Applications to Montague Semantics
D. Gallin
1975
Corpus ID: 118696122
intensional and higher order modal logic with applications intensional and higher order modal logic with applications intensional…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE