Referentiality and configurationality in the idiom and the phrasal verb. (English) Zbl 1515.03135
MSC:
03B65
Found 17 Documents (Results 1–17)
Pregroup grammars, their syntax and semantics. (English) Zbl 1491.68252
Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 347-376 (2021).
Reviewer: Hirokazu Nishimura (Tsukuba)
Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics. (English) Zbl 1473.03014
Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 135-160 (2021).
A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras. (English) Zbl 1422.68227
Paracompositionality, MWEs and argument substitution. (English) Zbl 1512.03055
Foret, Annie (ed.) et al., Formal grammar 2018. 23rd international conference, FG 2018, Sofia, Bulgaria, August 11–12, 2018. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10950, 16-36 (2018).
Logical entity level sentiment analysis. (English) Zbl 1497.68503
Foret, Annie (ed.) et al., Formal grammar. 22nd international conference, FG 2017, Toulouse, France, July 22–23, 2017. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10686, 54-71 (2018).
Distributional semantics: a Montagovian view. (English) Zbl 1285.03023
Casadio, Claudia (ed.) et al., Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). Lecture Notes in Computer Science 8222, 63-89 (2014).
MSC:
03B65
Minimization of symbolic automata. (English) Zbl 1284.68347
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 541-553 (2014).
Machine translation and type theory. (English) Zbl 1314.68340
Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 281-311 (2012).
MSC:
68T50
03B15
The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating English to FOL. (English) Zbl 1357.68211
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 40-56 (2012).
Independent set readings and generalized quantifiers. (English) Zbl 1209.03022
Reviewer: Neculai Curteanu (Iaşi)
Conservation principles and action schemes in the synthesis of geometric concepts. (English) Zbl 1168.03315
Supporting the formal verification of mathematical texts. (English) Zbl 1107.68104
MSC:
68T15
03B35
Filter Results by …
Document Type
- Journal Articles (9)
- Collection Articles (8)
all
top 5
Author
- Sadrzadeh, Mehrnoosh (4)
- Bozsahin, Cem H. (2)
- Robaldo, Livio (2)
- Balkir, Esma (1)
- Baral, Chitta R. (1)
- Bernardi, Raffaella (1)
- D’Antoni, Loris (1)
- Dostál, Matěj (1)
- Gonzalez, Marcos Alvarez (1)
- Gottesman, Aaron (1)
- Güven, Arzu Burcu (1)
- Hedges, Jules (1)
- Kartsaklis, Dimitri (1)
- Novák, Vilém (1)
- Petersen, Niklas Christoffer (1)
- Pineda, Luis A. (1)
- Ranta, Aarne (1)
- van Deemter, Kees (1)
- Veanes, Margus (1)
- Villadsen, Jørgen (1)
- Wijnholds, Gijs Jasper (1)
- Zinn, Claus (1)
all
top 5
Serial
- J. Philos. Log. (2)
- Artif. Intell. (1)
- Fuzzy Sets Syst. (1)
- J. Comput. Syst. Sci. (1)
- Math. Struct. Comput. Sci. (1)
- J. Logic Lang. Inf. (1)
- Ann. Math. Artif. Intell. (1)
- J. Appl. Log. (1)
all
top 3
Software
- Automath (2)
- ALF (1)
- CLAM (1)
- Coq (1)
- Geometry Tutor (1)
- Hyperproof (1)
- IsaPlanner (1)
- Isabelle/HOL (1)
- Isabelle/Isar (1)
- Isar (1)
- LEGO (1)
- Lambda-Clam (1)
- Mizar (1)
- Nuprl (1)
- OTTER (1)
- Oyster (1)
- Proof General (1)
- XBarnacle (1)
