Results 21 to 30 of about 107,210 (140)

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

Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic

Bulletin of the Section of Logic
The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its connectives. Its finitary consequence relation is decidable in polynomial
Paweł Płaczek
doaj   +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   +2 more sources

Dialectica Categories for the Lambek Calculus [PDF]

, 2017
We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified. We extend the Lambek Calculus with a κmodality, inspired by Yetter's work, which makes the calculus commutative.
Valeria de Paiva, Harley Eades III
openaire   +2 more sources

Elem and Zimmadari: Masculine moral life in Rohingya refugee camps

The Australian Journal of Anthropology, EarlyView.
Abstract This article traces how masculine authority is assembled and evaluated in the everyday life of Rohingya refugee camps in Cox's Bazar, Bangladesh. Drawing on 18 months of ethnographic fieldwork, it follows two young men, a volunteer mediator and a community school founder, to show how authority emerges not through formal roles or institutional ...
Mohammad Ibrahim Khalad
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

Polarized Classical Non-associative Lambek Calculus and Formal Semantics [PDF]

, 2011
While initially motivated for studying natural language syntax, the intuitionistic bias underlying traditional Lambek calculi renders them particularly suitable to a Montagovian formal semantics through the Curry-Howard correspondence.
Overkoepelend onderzoeksprogramma UiL-OTS, Arno Bastenhof, Bastenhof, A., Sub UiLOTS AIO   +3 more
core   +1 more source

Can a lizard ride on a housefly?: Navigating uncertainty and moral life in an Accra Zongo, Ghana

Ethos, Volume 54, Issue 2, June 2026.
Abstract How can uncertainty become a resource for ethical life rather than a threat to it? Focusing on a Zongo community in Accra, Ghana—also known as a “traveler's camp” or “stranger's quarters”—this article examines how people use a creative form of communication called the practice of folding to sustain relationships shaped by conditions of ...
Emily A. Williamson
wiley   +1 more source