Results 31 to 40 of about 160,476 (167)

Semi-Substructural Logics à la Lambek with Symmetry

Bulletin of the Section of Logic
This work studies the proof theory and ternary relational semantics of left (right) skew monoidal closed categories and skew monoidal bi-closed categories, both symmetric and non-symmetric, from the perspective of non-associative Lambek calculus ...
Cheng-Syuan Wan
doaj   +1 more source

Product-free Lambek calculus is NP-complete

, 2012
In this paper, we prove that the derivability problems for product-free Lambek calculus and product-free Lambek calculus allowing empty premises are NP-complete.
Savateev, Yury, Yury Savateev
core   +1 more source

Models for the Lambek calculus

Annals of Pure and Applied Logic, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Lambek calculus proofs and tree automata

, 2001
. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus cannot be accepted by a finite tree automaton.
Hans-joerg Tiede
core   +1 more source

Divine intimacy, frustration and the madness of the city: Changing transhuman kinship in China

Ethos, EarlyView.
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

On the problem of continuity: a theory of culture beyond invention Le problème de la continuité : une théorie de la culture au‐delà de l'invention

Journal of the Royal Anthropological Institute, Volume 32, Issue 2, Page 365-383, June 2026.
Anthropologists, in common with social theorists more generally, have often understood social life as an emergent phenomenon grounded in practices of creativity and improvisation. Where stasis and continuity feature, these are often presented as illusory manifestations of underlying processes of ‘invention’, or as external impositions upon otherwise ...
Paolo Heywood, Thomas Yarrow
wiley   +1 more source

Generation, Lambek Calculus, Montague's Semantics

, 2000
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between Lambek calculus and linear logic to present a method for the generation ...
And Semantic Proof, Sylvain Pogodalla, Pogodalla, Sylvain   +2 more
core   +1 more source

The Ethical Life of Educational Policy: Physical Education Teachers as Phronimoi

Anthropology &Education Quarterly, Volume 57, Issue 2, June 2026.
ABSTRACT This paper explores the ethical dimension of educational policy. Policy‐as‐practice scholarship tends to emphasize teachers as purposeful agents involved in problem‐solving and the creative interpretation and reassembling of educational discourses.
Adriano De Francesco
wiley   +1 more source

Undecidability of the Lambek Calculus with a Relevant Modality [PDF]

, 2016
17 ...
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov   +2 more
openaire   +2 more sources

Relationships between executive functioning and self‐concept in children referred for neuropsychological group rehabilitation and typically developing children

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, Heini Saarimäki, Kati Rantanen   +2 more
wiley   +1 more source