Results 211 to 220 of about 3,081 (252)
Logical Grammars, Logical Theories
Lecture Notes in Computer Science, 2012 Residuated lattices form one of the theoretical backbones of the Lambek Calculus as the standard free models. They also appear in grammatical inference as the syntactic concept lattice, an algebraic structure canonically defined for every language $L ...
Alexander Clark, Clark Alexander
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Types as Graphs: Continuations in Type Logical Grammar
Journal of Logic, Language and Information, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Chris Barker, Chung-chieh Shan
openaire +1 more source
Semantic bootstrapping of type-logical grammar
Journal of Logic, Language and Information, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Verification of graph grammars using a logical approach
Science of Computer Programming, 2012 Graph grammars may be used as specification technique for different kinds of systems, specially in situations in which states are complex structures that can be adequately modeled as graphs (possibly with an attribute data part) and in which the behavior
da Costa, Simone André, Ribeiro, Leila
exaly +2 more sources
Grammar Induction by Unification of Type-logical Lexicons
Journal of Logic, Language and Information, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
The Linguistic Review, 2022
AbstractIn their recent paper on pseudogapping in Construction Grammar/HPSG, Kim and Runner (Kim, Jong-Bok & Jeffrey T. Runner. 2022. Pseudogapping in English: A direct interpretation approach.The Linguistic Review.https://doi.org/10.1515/tlr-2022-2094) suggest that the analysis of pseudogapping in Hybrid Type-Logical Grammar (Hybrid TLG) presented
Yusuke Kubota, Robert Levine
openaire +1 more source
AbstractIn their recent paper on pseudogapping in Construction Grammar/HPSG, Kim and Runner (Kim, Jong-Bok & Jeffrey T. Runner. 2022. Pseudogapping in English: A direct interpretation approach.The Linguistic Review.https://doi.org/10.1515/tlr-2022-2094) suggest that the analysis of pseudogapping in Hybrid Type-Logical Grammar (Hybrid TLG) presented
Yusuke Kubota, Robert Levine
openaire +1 more source
Underspecification in Type-Logical Grammars
1999We show how in a mixed multimodal categorial framework unary modalities can be used to represent morphosyntactic properties of expressions. The residuation logic for the unary connectives, ⋄i □i is used to define a feature checking procedure.Each mode i represents some morphosyntactic feature.
openaire +1 more source
2003
Type logics are logics whose formulas are interpreted as types. For instance, A → B is a type of functions (procedures) which send inputs of type A to outputs of type B, and A ⊗ B is a type of pairs (f, g) such that f is of type A and g is of type B. The scope of possible realizations is huge: from constructivism in mathematics to logics of computation,
openaire +1 more source
Type logics are logics whose formulas are interpreted as types. For instance, A → B is a type of functions (procedures) which send inputs of type A to outputs of type B, and A ⊗ B is a type of pairs (f, g) such that f is of type A and g is of type B. The scope of possible realizations is huge: from constructivism in mathematics to logics of computation,
openaire +1 more source
A Chronicle of Type Logical Grammar: 1935–1994
Research on Language and Computation, 2007Categorial grammar predated Syntactic Structures by two decades. While dramatic linguistic revolutions occupied centre stage, it tended to be the preserve of formal philosophy and philosophical linguistics: the philosophers’ grammar. Fashions change but style endures.
openaire +1 more source