Results 31 to 40 of about 107,210 (140)
The hidden structural rules of the discontinuous Lambek calculus
, 2014 Capítol de llibre d'homenatge "Categories and Types in Logic, Language, and Physics. Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday"The sequent calculus sL for the Lambek calculus L ([2]) has no structural rules. Interestingly, sL is
Valentín Fernández Gallart, José Oriol
core +1 more source
Undecidability of the Lambek Calculus with a Relevant Modality [PDF]
, 2016 17 ...
Max I. Kanovich +2 more
openaire +2 more sources
Divine intimacy, frustration and the madness of the city: Changing transhuman kinship in China
Ethos, Volume 54, Issue 2, June 2026.This essay shows the affective resonances of the collision of gods, humans, and rapidly shifting landscapes in a newly urbanized part of Suzhou, China. The first section discusses how ties to spirits are not just metaphors or projections of human kinship, but literal parts of a kinship system that invoke responsibilities of care, based on links of both
Keping Wu, Robert P. Weller
wiley +1 more source
Sequent Systems for Consequence Relations of Cyclic Linear Logics
Bulletin of the Section of LogicLinear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj +1 more source
Journal of Neuropsychology, Volume 20, Issue 2, Page 375-393, June 2026.Abstract This study examines the relationship between executive functions (EFs) and self‐concept (SC) in children referred for neuropsychological group rehabilitation due to EF deficits, compared with typically developing (TD) children. EFs and SC are vital for academic performance and social interactions, yet the link between them in clinical ...
Elina Vierikko +2 more
wiley +1 more source
A Computational Algebraic Approach to Latin Grammar [PDF]
, 2005 In the paper we present a type theoretic analysis of Latin grammar, which pays as much attention to inflectional morphology as to syntax. We assign different types to the finite forms of Latin verbs as well as to their infinitives.
CASADIO, Claudia, Lambek, Joachim
core +1 more source
Dyslexia, Volume 32, Issue 2, May 2026.ABSTRACT Growing evidence indicates that people with dyslexia have executive function deficits. The current study used a random generation task as a novel way to investigate executive function in adults with dyslexia. Participants (total N = 54) were asked to produce an unpredictable sequence of 100 digits verbally.
Emmanuella Joy Osofisan +2 more
wiley +1 more source
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order [PDF]
, 2017 Lambek calculus is a logical foundation of categorial grammar, a linguistic paradigm of grammar as logic and parsing as deduction. Pentus (2010) gave a polynomial-time algorithm for determining provability of bounded depth formulas in L*, the Lambek ...
Kuznetsov, Stepan +3 more
core +1 more source
Language machines: Toward a linguistic anthropology of large language models
Journal of Linguistic Anthropology, Volume 36, Issue 1, May 2026.Abstract Large language models (LLMs) challenge long‐standing assumptions in linguistics and linguistic anthropology by generating human‐like language without relying on rule‐based structures. This introduction to the special issue Language Machines calls for renewed engagement with LLMs as socially embedded language technologies.
Siri Lamoureaux +2 more
wiley +1 more source
Extraction in the Lambek-Grishin Calculus [PDF]
, 2010 We propose an analysis of extraction in the Lambek-Grishin calculus (LG): a categorial type logic featuring subtractions, with proof-theoretic behavior dual to that of the usual implications. Our analysis rests on three pillars: Moortgat’s discontinuous type constructors; their decomposition in LG as proposed by Bernardi and Moortgat; and the polarity ...
openaire +3 more sources