English
Related papers

Related papers: Positive Varieties of Lattice Languages

200 papers

Making a linguistic theory is like making a programming language: one typically devises a type system to delineate the acceptable utterances and a denotational semantics to explain observations on their behavior. Via this connection, the…

Computation and Language · Computer Science 2007-05-23 Chung-chieh Shan

Context-free languages can be characterized in several ways. This article studies projective linearisations of languages of simple dependency trees, i.e., dependency trees in which a node can govern at most one node with a given syntactic…

Formal Languages and Automata Theory · Computer Science 2024-01-17 Carles Cardó

We study possibilities for semantic and syntactic rigidity, i.e., the rigidity with respect to automorphism group and with respect to definable closure. Variations of rigidity and their degrees are studied in general case, for special…

Logic · Mathematics 2023-07-26 Sergey V. Sudoplatov

Language models can produce fluent, grammatical text. Nonetheless, some maintain that language models don't really learn language and also that, even if they did, that would not be informative for the study of human learning and processing.…

Computation and Language · Computer Science 2025-11-13 Richard Futrell , Kyle Mahowald

We show that many important varieties and sets of varieties of semigroups may be defined by relatively simple and transparent first-order formulas in the lattice of all semigroup varieties.

Group Theory · Mathematics 2010-09-08 B. M. Vernikov

We study the landscape of solutions of the coherent quantum states in a ring shaped lattice potential in the context of ultracold atoms with an effective positive nonlinearity induced by interatomic interactions. The exact analytical…

Quantum Gases · Physics 2023-11-28 Hongyi Huang , Kunal K. Das

The paper presents a language model that develops syntactic structure and uses it to extract meaningful information from the word history, thus enabling the use of long distance dependencies. The model assigns probability to every joint…

Computation and Language · Computer Science 2007-05-23 Ciprian Chelba , Frederick Jelinek

Logics with analogous semantics, such as Fuzzy Logic, have a number of explanatory and application advantages, the most well-known being the ability to help experts develop control systems. From a cognitive systems perspective, such…

Artificial Intelligence · Computer Science 2022-01-24 Hedda R. Schmidtke , Sara Coelho

This paper pursues an investigation on groups equipped with an $L$-ordered relation, where $L$ is a fixed complete complete Heyting algebra. First, by the concept of join and meet on an $L$-ordered set, the notion of an $L$-lattice is…

Group Theory · Mathematics 2014-03-07 R. A. Borzooei , A. Dvurečenskij , O. Zahiri

New lattice model for the gradient elasticity is suggested. This lattice model gives a microstructural basis for second-order strain-gradient elasticity of continuum that is described by the linear elastic constitutive relation with the…

Materials Science · Physics 2015-01-08 Vasily E. Tarasov

Psychological research consistently finds that human ratings of words across diverse semantic scales can be reduced to a low-dimensional form with relatively little information loss. We find that the semantic associations encoded in the…

Computation and Language · Computer Science 2025-08-15 Austin C. Kozlowski , Callin Dai , Andrei Boutyline

This paper examines the characterization and learning of grammars defined with enriched representational models. Model-theoretic approaches to formal language theory traditionally assume that each position in a string belongs to exactly one…

Formal Languages and Automata Theory · Computer Science 2019-06-25 Jane Chandlee , Remi Eyraud , Jeffrey Heinz , Adam Jardine , Jonathan Rawski

Finite monoids that generate monoid varieties with uncountably many subvarieties seem rare, and surprisingly, no finite monoid is known to generate a monoid variety with countably infinitely many subvarieties. In the present article, it is…

Group Theory · Mathematics 2018-01-22 Marcel Jackson , Edmond W. H. Lee

Linguistic relations in oral conversations present how opinions are constructed and developed in a restricted time. The relations bond ideas, arguments, thoughts, and feelings, re-shape them during a speech, and finally build knowledge out…

Computation and Language · Computer Science 2017-03-02 Ceyda Sanli , Anupam Mondal , Erik Cambria

We analyze here a particular kind of linguistic network where vertices representwords and edges stand for syntactic relationships between words. The statisticalproperties of these networks have been recently studied and various features…

Statistical Mechanics · Physics 2007-05-23 Ramon Ferrer i Cancho , Andrea Capocci , Guido Caldarelli

Relational lattice is a formal mathematical model for Relational algebra. It reduces the set of six classic relational algebra operators to two: natural join and inner union. We continue to investigate Relational lattice properties with…

Databases · Computer Science 2008-07-25 Marshall Spight , Vadim Tropashko

We consider the class of languages defined in the 2-variable fragment of the first-order logic of the linear order. Many interesting characterizations of this class are known, as well as the fact that restricting the number of quantifier…

Logic in Computer Science · Computer Science 2018-01-03 Manfred Kufleitner , Pascal Weil

Words in some natural languages can have a composite structure. Elements of this structure include the root (that could also be composite), prefixes and suffixes with which various nuances and relations to other words can be expressed.…

Computation and Language · Computer Science 2017-09-05 Rustem Takhanov , Zhenisbek Assylbekov

We show that if $\mathsf V$ is a semigroup pseudovariety containing the finite semilattices and contained in $\mathsf {DS}$, then it has a basis of pseudoidentities between finite products of regular pseudowords if, and only if, the…

Group Theory · Mathematics 2019-03-07 Alfredo Costa , Ana Escada

We show that for any $i > 0$, it is decidable, given a regular language, whether it is expressible in the $\Sigma_i[<]$ fragment of first-order logic FO[<]. This settles a question open since 1971. Our main technical result relies on the…

Formal Languages and Automata Theory · Computer Science 2025-02-03 Corentin Barloy , Michaël Cadilhac , Charles Paperman , Howard Straubing