Results 11 to 20 of about 27,790 (125)

The Grail theorem prover: Type theory for syntax and semantics

, 2016
As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the
A Ranta, J Lambek, J Pustejovsky, JY Girard, K Ajdukiewicz, M Pentus, N Asher, R Huijbregts, R Montague, R Moot, R Moot, R Moot, RT Oehrle, V Danos, Y Bar-Hillel   +14 more
core   +3 more sources

A Frobenius Algebraic Analysis for Parasitic Gaps [PDF]

, 2020
The interpretation of parasitic gaps is an ostensible case of non-linearity in natural language composition. Existing categorial analyses, both in the typelogical and in the combinatory traditions, rely on explicit forms of syntactic copying. We identify
Moortgat, Michael, Sadrzadeh, Mehrnoosh, Wijnholds, Gijs   +2 more
core   +1 more source

Canonical Proof nets for Classical Logic [PDF]

, 2012
Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof.
McKinley, Richard
core   +2 more sources

Dialectica Categories for the Lambek Calculus

, 2018
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.
A Bove, A Ciabattoni, B Coecke, GM Bierman, J-Y Girard, K Honda, M Hyland, N Benton, P Sewell, PN Benton, S Abramsky, V Paiva De, VR Pratt   +12 more
core   +1 more source

Slovene Students’ Writing Skills in Portuguese

Vestnik za Tuje Jezike
This paper seeks to identify and reflect on the difficulties Slovene students face when writing in European Portuguese, in order to present didactic strategies tailored to address such challenges.
Blažka Müller, Cláudia Silva
doaj   +1 more source

A Fredholm Determinant for Semi-classical Quantization [PDF]

, 1993
We investigate a new type of approximation to quantum determinants, the ``\qFd", and test numerically the conjecture that for Axiom A hyperbolic flows such determinants have a larger domain of analyticity and better convergence than the \qS s derived ...
Cvitanović, Predrag, Rosenqvist, Per E., Rugh, Hans Henrik, Vattay, Gábor   +3 more
core   +2 more sources

Construction of a Multicellular Communication Network Model for Cell Co-Culture Technology and Evaluation of Its Simulation Capability

World Journal of Traditional Chinese Medicine
Objective: Cell co-culture technology has been widely used to analyze the effects of drugs on cell proliferation and the expression of some proteins in cells, especially in the field of traditional Chinese medicine (TCM); however, the interactions ...
Yuan-Yuan Geng, Chao Wei, Guo-Fei Chen, Bai-Xia Zhang   +3 more
doaj   +1 more source

Theories of Grammar, Thoughts of God [PDF]

, 2012
This essay is an exploration of the potential of modern scientific linguistic study to provide insight into the ways of ...
Sietsema, Brian Mark
core   +1 more source

Gibbs and Quantum Discrete Spaces [PDF]

, 2001
Gibbs measure is one of the central objects of the modern probability, mathematical statistical physics and euclidean quantum field theory. Here we define and study its natural generalization for the case when the space, where the random field is defined
Malyshev, V. A.
core   +3 more sources

A Word from Turkish Cuisine: Güllaç

Ankara Üniversitesi Dil ve Tarih-Coğrafya Fakültesi Dergisi, 2017
Güllaç which is an important representative of Turkish culinary culture, draws attention linguistically as much as it does from the point of cultural history.
Murat KÜÇÜK
doaj