×

Found 131 Documents (Results 1–100)

100
MathJax

A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. (English) Zbl 1434.03076

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 22, 17 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Strong and weak quantifiers in focused \({\text{NL}}_{\text{CL}}\). (English) Zbl 1485.03067

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 134-148 (2016).
MSC:  03B65 91F20
PDF BibTeX XML Cite
Full Text: DOI

Implementing variable vectors in a CCG parser. (English) Zbl 1482.68116

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 52-67 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Categorial dependency grammars with iterated sequences. (English) Zbl 1482.68112

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 34-51 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Language and logics. An introduction to the logical foundations of language. (English) Zbl 1377.03001

Edinburgh Advanced Textbooks in Linguistics. Edinburgh: Edinburgh University Press (ISBN 978-0-7486-9162-3/hbk; 978-0-7486-9163-0/pbk). viii, 315 p. (2015).
PDF BibTeX XML Cite

“CDG lab”: an integrated environment for categorial dependency grammar and dependency treebank development. (English) Zbl 1314.68326

Gerdes, Kim (ed.) et al., Computational dependency theory. Selected papers from the international conference on dependency linguistics (Depling 2011), Barcelona, Spain, September 5–7, 2011. Amsterdam: IOS Press (ISBN 978-1-61499-351-3/hbk; 978-1-61499-352-0/ebook). Frontiers in Artificial Intelligence and Applications 258, 153-169 (2014).
MSC:  68T50
PDF BibTeX XML Cite
Full Text: DOI

Structural bootstrapping of large scale categorial dependency grammars. (English) Zbl 1314.68333

Gerdes, Kim (ed.) et al., Computational dependency theory. Selected papers from the international conference on dependency linguistics (Depling 2011), Barcelona, Spain, September 5–7, 2011. Amsterdam: IOS Press (ISBN 978-1-61499-351-3/hbk; 978-1-61499-352-0/ebook). Frontiers in Artificial Intelligence and Applications 258, 136-152 (2014).
MSC:  68T50 91F20
PDF BibTeX XML Cite
Full Text: DOI

Unifying local and nonlocal modelling of respective and symmetrical predicates. (English) Zbl 1427.91217

Morrill, Glyn (ed.) et al., Formal grammar. 19th international conference, FG 2014, Tübingen, Germany, August 16–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8612, 104-120 (2014).
MSC:  91F20 03B65
PDF BibTeX XML Cite
Full Text: DOI

Pseudogapping as pseudo-VP ellipsis. (English) Zbl 1291.03057

Asher, Nicholas (ed.) et al., Logical aspects of computational linguistics. 8th international conference, LACL 2014, Toulouse, France, June 18–20, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-43741-4/pbk). Lecture Notes in Computer Science 8535, 122-137 (2014).
MSC:  03B65
PDF BibTeX XML Cite
Full Text: DOI

NP-completeness of grammars based upon products of free pregroups. (English) Zbl 1285.03022

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, 51-62 (2014).
MSC:  03B65 68Q17 68Q42
PDF BibTeX XML Cite
Full Text: DOI

On residuation. (English) Zbl 1285.03012

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, 14-27 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Gapping as like-category coordination. (English) Zbl 1291.03056

Béchet, Denis (ed.) et al., Logical aspects of computational linguistics. 7th international conference, LACL 2012, Nantes, France, July 2–4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31261-8/pbk). Lecture Notes in Computer Science 7351, 135-150 (2012).
MSC:  03B65 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Iterated dependencies and Kleene iteration. (English) Zbl 1370.68153

de Groote, Philippe (ed.) et al., Formal grammar. 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32023-1/pbk). Lecture Notes in Computer Science 7395, 66-81 (2012).
MSC:  68Q42 03B65
PDF BibTeX XML Cite
Full Text: DOI

Logic programming of the displacement calculus. (English) Zbl 1333.03099

Pogodalla, Sylvain (ed.) et al., Logical aspects of computational linguistics. 6th international conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22220-7/pbk). Lecture Notes in Computer Science 6736. Lecture Notes in Artificial Intelligence, 175-189 (2011).
MSC:  03B65 03F05
PDF BibTeX XML Cite
Full Text: DOI Link

On dispersed and choice iteration in incrementally learnable dependency types. (English) Zbl 1333.03095

Pogodalla, Sylvain (ed.) et al., Logical aspects of computational linguistics. 6th international conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22220-7/pbk). Lecture Notes in Computer Science 6736. Lecture Notes in Artificial Intelligence, 80-95 (2011).
MSC:  03B65 68Q32
PDF BibTeX XML Cite
Full Text: DOI

Tarski’s principle, categorial grammars and learnability. (English) Zbl 1330.68130

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 5th international conference, LATA 2011, Tarragona, Spain, May 26–31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21253-6/pbk). Lecture Notes in Computer Science 6638, 378-389 (2011).
MSC:  68Q32 68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Ajdukiewicz functions and basic inference. (English) Zbl 1261.03080

Peliš, Michal (ed.), The Logica yearbook 2009. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 22–26, 2009. London: College Publications (ISBN 978-1-84890-009-7/pbk). 259-271 (2010).
MSC:  03B42 03B65 68T27
PDF BibTeX XML Cite

Optional and iterated types for pregroup grammars. (English) Zbl 1156.03323

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. Second international conference, LATA 2008, Tarragona, Spain, March 13–19, 2008. Revised papers. Berlin: Springer (ISBN 978-3-540-88281-7/pbk). Lecture Notes in Computer Science 5196, 88-100 (2008).
MSC:  03B65 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Abstract families of abstract categorial languages. (English) Zbl 1262.68079

Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 65-80 (2006).
MSC:  68Q42 03B65 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Language and grammar. Studies in mathematical linguistics and natural language. (English) Zbl 1137.03300

CSLI Lecture Notes 168. Stanford, CA: CSLI Publications (ISBN 1-57586-488-6). xxxii, 269 p. (2005).
PDF BibTeX XML Cite

Type logics in grammar. (English) Zbl 1169.03342

Hendricks, Vincent F. (ed.) et al., Trends in logic. 50 years of Studia Logica. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1601-8/hbk). Trends Log. Stud. Log. Libr. 21, 337-382 (2003).
MSC:  03B47
PDF BibTeX XML Cite

On the complexity of consistent identification of some classes of structure languages. (English) Zbl 0974.68092

Oliveira, Arlindo L. (ed.), Grammatical inference: algorithms and applications. 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1891, 89-102 (2000).
PDF BibTeX XML Cite

Types in mathematics and in linguistics. (Les types en mathématique et en linguistique.) (French) Zbl 0976.03035

Miéville, Denis (ed.), Rôle et enjeux de la notion de catégorie en logique. Neuchâtel: Université de Neuchâtel, Centre de Recherches Sémiologiques, Trav. Log., Cent. Rech. Sémiol. 13, 147-158 (1999).
MSC:  03B65 03B15 03G30
PDF BibTeX XML Cite

Constrained functions and semantic information. (English) Zbl 0961.03025

Moss, Lawrence S. (ed.) et al., Logic, language and computation. Vol 2. Proceedings of the 2nd conference on information-theoretic approaches to logic, language and computation (ITALLC), London, UK, July 1996. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 96, 369-383 (1999).
MSC:  03B65
PDF BibTeX XML Cite

Binary relations in the social and mathematical sciences. (English) Zbl 0947.03049

Cantini, Andrea (ed.) et al., Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19-25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 280, 155-163 (1999).
PDF BibTeX XML Cite

Polish logic, language and philosophy of language. (English) Zbl 0978.03025

Kijania-Placek, Katarzyna (ed.) et al., The Lvov-Warsaw school and contemporary philosophy. Papers from the conference, Lviv (Lvov), Ukraine, November 15-17, 1995 and Warsaw, Poland, November 19-21, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 273, 219-238 (1998).
MSC:  03B65
PDF BibTeX XML Cite

Partial proof trees, resource sensitive logics and syntactic constraints. (English) Zbl 0885.03028

Retoré, Christian (ed.), Logical aspects of computational linguistics. 1st international conference, LACL ’96, Nancy, France, September 23–25, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1328, 21-42 (1997).
MSC:  03B65 68Q42
PDF BibTeX XML Cite

Categorial grammars with negative information. (English) Zbl 0983.03020

Wansing, Heinrich (ed.), Negation. A notion in focus. Proceedings volume of an interdisciplinary workshop held during the conference Analyomen 2 of the Gesellschaft für Analytische Philosophie (GAP), Leipzig, Germany, September 7-10, 1994. Berlin: De Gruyter. Perspekt. Anal. Philos. 7, 107-126 (1996).
MSC:  03B65 03B47
PDF BibTeX XML Cite

Logic and the flow of information. (English) Zbl 0831.03011

Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 693-724 (1994).
MSC:  03B45 03B70 03G15 03B65 03B15
PDF BibTeX XML Cite

Dyadic modalities and Lambek calculus. (English) Zbl 0831.03010

Rijke, Maarten de (ed.), Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 229, 215-253 (1993).
MSC:  03B45 03B65
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software