Universal Higher Order Grammar

02/25/2011
by   Victor Gluzberg, et al.
0

We examine the class of languages that can be defined entirely in terms of provability in an extension of the sorted type theory (Ty_n) by embedding the logic of phonologies, without introduction of special types for syntactic entities. This class is proven to precisely coincide with the class of logically closed languages that may be thought of as functions from expressions to sets of logically equivalent Ty_n terms. For a specific sub-class of logically closed languages that are described by finite sets of rules or rule schemata, we find effective procedures for building a compact Ty_n representation, involving a finite number of axioms or axiom schemata. The proposed formalism is characterized by some useful features unavailable in a two-component architecture of a language model. A further specialization and extension of the formalism with a context type enable effective account of intensional and dynamic semantics.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/21/2019

Logic and Rational Languages of Scattered and Countable Series-Parallel Posets

Let A be an alphabet and SP^(A) denote the class of all countable N-free...
research
02/09/2021

Native Type Theory

We present a method to construct "native" type systems for a broad class...
research
02/01/2019

Finite semantics of polymorphism, complexity and the power of type fixpoints

Many applications of denotational semantics, such as higher-order model ...
research
06/30/2011

IDL-Expressions: A Formalism for Representing and Parsing Finite Languages in Natural Language Processing

We propose a formalism for representation of finite languages, referred ...
research
04/06/2018

A Categorical Approach to Syntactic Monoids

The syntactic monoid of a language is generalized to the level of a symm...
research
07/31/2023

Syntactically and semantically regular languages of lambda-terms coincide through logical relations

A fundamental theme in automata theory is regular languages of words and...
research
10/03/2022

Reflections on existential types

Existential types are reconstructed in terms of small reflective subuniv...

Please sign up or login with your details

Forgot password? Click here to reset