Pshenitsyn, Tikhon Commutative Lambek grammars. (English) Zbl 07800201 J. Logic Lang. Inf. 32, No. 5, 887-936 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{T. Pshenitsyn}, J. Logic Lang. Inf. 32, No. 5, 887--936 (2023; Zbl 07800201) Full Text: DOI
Gierasimczuk, Nina; Kalociński, Dariusz; Rakowski, Franciszek; Uszyński, Jakub Convexity and monotonicity in language coordination: simulating the emergence of semantic universals in populations of cognitive agents. (English) Zbl 07753643 J. Logic Lang. Inf. 32, No. 4, 569-600 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{N. Gierasimczuk} et al., J. Logic Lang. Inf. 32, No. 4, 569--600 (2023; Zbl 07753643) Full Text: DOI
Alves, Fernando C. Language learnability in the limit: a generalization of Gold’s theorem. (English) Zbl 07726393 J. Logic Lang. Inf. 32, No. 3, 363-372 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{F. C. Alves}, J. Logic Lang. Inf. 32, No. 3, 363--372 (2023; Zbl 07726393) Full Text: DOI arXiv
Howes, Christine; Gibson, Hannah Dynamic syntax. The dynamics of incremental processing: constraints on underspecification. (English) Zbl 1517.03031 J. Logic Lang. Inf. 30, No. 2, 263-276 (2021). MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{C. Howes} and \textit{H. Gibson}, J. Logic Lang. Inf. 30, No. 2, 263--276 (2021; Zbl 1517.03031) Full Text: DOI
Morrill, Glyn Parsing/theorem-proving for logical grammar CatLog3. (English) Zbl 1478.68416 J. Logic Lang. Inf. 28, No. 2, 183-216 (2019). MSC: 68T50 03B47 03B65 68Q42 68V15 PDFBibTeX XMLCite \textit{G. Morrill}, J. Logic Lang. Inf. 28, No. 2, 183--216 (2019; Zbl 1478.68416) Full Text: DOI
Dikovsky, Alexander Linguistic\(\leftrightarrow \)rational agents’ semantics. (English) Zbl 1387.68212 J. Logic Lang. Inf. 26, No. 4, 341-437 (2017). MSC: 68T27 03B65 68T50 PDFBibTeX XMLCite \textit{A. Dikovsky}, J. Logic Lang. Inf. 26, No. 4, 341--437 (2017; Zbl 1387.68212) Full Text: DOI
van Benthem, Johan Natural language and logic of agency. (English) Zbl 1305.03033 J. Logic Lang. Inf. 23, No. 3, 367-382 (2014). MSC: 03B65 PDFBibTeX XMLCite \textit{J. van Benthem}, J. Logic Lang. Inf. 23, No. 3, 367--382 (2014; Zbl 1305.03033) Full Text: DOI
Kuhn, Tobias A principled approach to grammars for controlled natural languages and predictive editors. (English) Zbl 1305.68198 J. Logic Lang. Inf. 22, No. 1, 33-70 (2013). MSC: 68T50 03B65 91F20 PDFBibTeX XMLCite \textit{T. Kuhn}, J. Logic Lang. Inf. 22, No. 1, 33--70 (2013; Zbl 1305.68198) Full Text: DOI arXiv
Pratt-Hartmann, Ian The Hamiltonian syllogistic. (English) Zbl 1305.03027 J. Logic Lang. Inf. 20, No. 4, 445-474 (2011). MSC: 03B65 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann}, J. Logic Lang. Inf. 20, No. 4, 445--474 (2011; Zbl 1305.03027) Full Text: DOI arXiv
Kepser, Stephan; Rogers, Jim The equivalence of tree adjoining grammars and monadic linear context-free tree grammars. (English) Zbl 1274.68151 J. Logic Lang. Inf. 20, No. 3, 361-384 (2011). Reviewer: Heribert Vollmer (Hannover) MSC: 68Q42 03C13 03D05 68Q45 91F20 PDFBibTeX XMLCite \textit{S. Kepser} and \textit{J. Rogers}, J. Logic Lang. Inf. 20, No. 3, 361--384 (2011; Zbl 1274.68151) Full Text: DOI
Penn, Gerald (ed.) Special issue: Mathematics of language. Selected papers based on the presentations at the 10th meeting of the Association for the Mathematics of Language, MoL 10, Los Angeles, CA, USA, July 28–30, 2007. (English) Zbl 1250.03009 J. Logic Lang. Inf. 20, No. 3, 273-417 (2011). MSC: 03-06 68-06 03B65 68Q45 68T50 91F20 00B25 PDFBibTeX XML
Robaldo, Livio Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality. (English) Zbl 1234.03015 J. Logic Lang. Inf. 20, No. 2, 233-271 (2011). MSC: 03B65 PDFBibTeX XMLCite \textit{L. Robaldo}, J. Logic Lang. Inf. 20, No. 2, 233--271 (2011; Zbl 1234.03015) Full Text: DOI
Fulop, Sean A. Erratum to: “Grammar induction by unification of type-logical lexicons”. (English) Zbl 1208.03036 J. Logic Lang. Inf. 20, No. 1, 135-136 (2011). MSC: 03B65 68Q32 68Q45 68T50 PDFBibTeX XMLCite \textit{S. A. Fulop}, J. Logic Lang. Inf. 20, No. 1, 135--136 (2011; Zbl 1208.03036) Full Text: DOI
Fulop, Sean A. Grammar induction by unification of type-logical lexicons. (English) Zbl 1208.03035 J. Logic Lang. Inf. 19, No. 3, 353-381 (2010); erratum ibid. 20, No. 1, 135-136 (2011). MSC: 03B65 68Q32 68Q45 68T50 PDFBibTeX XMLCite \textit{S. A. Fulop}, J. Logic Lang. Inf. 19, No. 3, 353--381 (2010; Zbl 1208.03035) Full Text: DOI
Jacquette, Dale Circularity or lacunae in Tarski’s truth-schemata. (English) Zbl 1298.03023 J. Logic Lang. Inf. 19, No. 3, 315-326 (2010). MSC: 03A05 PDFBibTeX XMLCite \textit{D. Jacquette}, J. Logic Lang. Inf. 19, No. 3, 315--326 (2010; Zbl 1298.03023) Full Text: DOI Link
Retoré, Christian; Salvati, Sylvain A faithful representation of non-associative Lambek grammars in abstract categorial grammars. (English) Zbl 1197.03032 J. Logic Lang. Inf. 19, No. 2, 185-200 (2010). MSC: 03B65 03B40 03B47 68Q42 PDFBibTeX XMLCite \textit{C. Retoré} and \textit{S. Salvati}, J. Logic Lang. Inf. 19, No. 2, 185--200 (2010; Zbl 1197.03032) Full Text: DOI Link
Lai, Catherine; Bird, Steven Querying linguistic trees. (English) Zbl 1191.68245 J. Logic Lang. Inf. 19, No. 1, 53-73 (2010). MSC: 68P15 68T50 PDFBibTeX XMLCite \textit{C. Lai} and \textit{S. Bird}, J. Logic Lang. Inf. 19, No. 1, 53--73 (2010; Zbl 1191.68245) Full Text: DOI Link
Akiba, Ken A new theory of quantifiers and term connectives. (English) Zbl 1184.03016 J. Logic Lang. Inf. 18, No. 3, 403-431 (2009). Reviewer: Osamu Sonobe (Follonica) MSC: 03B65 PDFBibTeX XMLCite \textit{K. Akiba}, J. Logic Lang. Inf. 18, No. 3, 403--431 (2009; Zbl 1184.03016) Full Text: DOI
Søgaard, Anders; Lange, Martin Polyadic dynamic logics for HPSG parsing. (English) Zbl 1165.03332 J. Logic Lang. Inf. 18, No. 2, 159-198 (2009). MSC: 03B70 03B65 68T50 91F20 PDFBibTeX XMLCite \textit{A. Søgaard} and \textit{M. Lange}, J. Logic Lang. Inf. 18, No. 2, 159--198 (2009; Zbl 1165.03332) Full Text: DOI
Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A. Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning. (English) Zbl 1188.68275 J. Logic Lang. Inf. 17, No. 3, 285-306 (2008). MSC: 68T27 68T37 68T50 PDFBibTeX XMLCite \textit{A. Cohen} et al., J. Logic Lang. Inf. 17, No. 3, 285--306 (2008; Zbl 1188.68275) Full Text: DOI
Bernardi, Raffaella; Szabolcsi, Anna Optionality, scope, and licensing: An application of partially ordered categories. (English) Zbl 1168.03015 J. Logic Lang. Inf. 17, No. 3, 237-283 (2008). MSC: 03B65 68T50 91F20 PDFBibTeX XMLCite \textit{R. Bernardi} and \textit{A. Szabolcsi}, J. Logic Lang. Inf. 17, No. 3, 237--283 (2008; Zbl 1168.03015) Full Text: DOI
Lambek, J. Pregroup grammars and Chomsky’s earliest examples. (English) Zbl 1162.68721 J. Logic Lang. Inf. 17, No. 2, 141-160 (2008). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 68T50 03B65 PDFBibTeX XMLCite \textit{J. Lambek}, J. Logic Lang. Inf. 17, No. 2, 141--160 (2008; Zbl 1162.68721) Full Text: DOI
Erdélyi-Szabó, Miklós; Kálmán, László; Kurucz, Agi Towards a natural language semantics without functors and operands. (English) Zbl 1162.03312 J. Logic Lang. Inf. 17, No. 1, 1-17 (2008). MSC: 03B65 68T50 91F20 PDFBibTeX XMLCite \textit{M. Erdélyi-Szabó} et al., J. Logic Lang. Inf. 17, No. 1, 1--17 (2008; Zbl 1162.03312) Full Text: DOI Link
Butler, Alastair Scope control and grammatical dependencies. (English) Zbl 1160.03303 J. Logic Lang. Inf. 16, No. 3, 241-264 (2007). MSC: 03B65 68T50 91F20 PDFBibTeX XMLCite \textit{A. Butler}, J. Logic Lang. Inf. 16, No. 3, 241--264 (2007; Zbl 1160.03303) Full Text: DOI
Lambek, J. From word to sentence: a pregroup analysis of the object pronoun who(m). (English) Zbl 1160.03305 J. Logic Lang. Inf. 16, No. 3, 303-323 (2007). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B65 68T50 91F20 PDFBibTeX XMLCite \textit{J. Lambek}, J. Logic Lang. Inf. 16, No. 3, 303--323 (2007; Zbl 1160.03305) Full Text: DOI
Schlenker, Philippe Anti-dynamics: Presupposition projection without dynamic semantics. (English) Zbl 1160.03309 J. Logic Lang. Inf. 16, No. 3, 325-356 (2007). MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{P. Schlenker}, J. Logic Lang. Inf. 16, No. 3, 325--356 (2007; Zbl 1160.03309) Full Text: DOI
Preller, Anne Toward discourse representation via pregroup grammars. (English) Zbl 1160.03307 J. Logic Lang. Inf. 16, No. 2, 173-194 (2007). MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{A. Preller}, J. Logic Lang. Inf. 16, No. 2, 173--194 (2007; Zbl 1160.03307) Full Text: DOI Link
Barker, Chris; Shan, Chung-chieh Types as graphs: Continuations in type logical grammar. (English) Zbl 1162.68716 J. Logic Lang. Inf. 15, No. 4, 331-370 (2006). MSC: 68T50 03B65 68N15 PDFBibTeX XMLCite \textit{C. Barker} and \textit{C.-c. Shan}, J. Logic Lang. Inf. 15, No. 4, 331--370 (2006; Zbl 1162.68716) Full Text: DOI
Zamansky, Anna; Francez, Nissim; Winter, Yoad A ‘natural logic’ inference system using the Lambek calculus. (English) Zbl 1129.03013 J. Logic Lang. Inf. 15, No. 3, 273-295 (2006). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B65 03B47 PDFBibTeX XMLCite \textit{A. Zamansky} et al., J. Logic Lang. Inf. 15, No. 3, 273--295 (2006; Zbl 1129.03013) Full Text: DOI
Nelken, Rani; Shan, Chung-Chieh A modal interpretation of the logic of interrogation. (English) Zbl 1108.03038 J. Logic Lang. Inf. 15, No. 3, 251-271 (2006). MSC: 03B65 03B42 03B45 PDFBibTeX XMLCite \textit{R. Nelken} and \textit{C.-C. Shan}, J. Logic Lang. Inf. 15, No. 3, 251--271 (2006; Zbl 1108.03038) Full Text: DOI
Degeilh, Sylvain; Preller, Anne Efficiency of pregroups and the French noun phrase. (English) Zbl 1103.03030 J. Logic Lang. Inf. 14, No. 4, 423-444 (2005). MSC: 03B65 91F20 68T50 PDFBibTeX XMLCite \textit{S. Degeilh} and \textit{A. Preller}, J. Logic Lang. Inf. 14, No. 4, 423--444 (2005; Zbl 1103.03030) Full Text: DOI Link
Fulop, Sean A. Semantic bootstrapping of type-logical grammar. (English) Zbl 1105.68106 J. Logic Lang. Inf. 14, No. 1, 49-86 (2005). MSC: 68T50 68T05 03B65 03B40 03B47 PDFBibTeX XMLCite \textit{S. A. Fulop}, J. Logic Lang. Inf. 14, No. 1, 49--86 (2005; Zbl 1105.68106) Full Text: DOI
Branco, António Anaphoric constraints and dualities in the semantics of nominals. (English) Zbl 1063.03530 J. Logic Lang. Inf. 14, No. 2, 149-171 (2005). MSC: 03B65 68T50 91F20 PDFBibTeX XMLCite \textit{A. Branco}, J. Logic Lang. Inf. 14, No. 2, 149--171 (2005; Zbl 1063.03530) Full Text: DOI
Kepser, Stephan Querying linguistic treebanks with monadic second-order logic in linear time. (English) Zbl 1067.68154 J. Logic Lang. Inf. 13, No. 4, 457-470 (2004). MSC: 68T50 68Q25 03B15 PDFBibTeX XMLCite \textit{S. Kepser}, J. Logic Lang. Inf. 13, No. 4, 457--470 (2004; Zbl 1067.68154) Full Text: DOI
de Groote, Philippe; Pogodalla, Sylvain On the expressive power of abstract categorial grammars: Representing context-free formalisms. (English) Zbl 1062.03024 J. Logic Lang. Inf. 13, No. 4, 421-438 (2004). MSC: 03B65 68Q42 68Q45 03B40 PDFBibTeX XMLCite \textit{P. de Groote} and \textit{S. Pogodalla}, J. Logic Lang. Inf. 13, No. 4, 421--438 (2004; Zbl 1062.03024) Full Text: DOI Link
Ben-Avi, Gilad; Winter, Yoad Scope dominance with monotone quantifiers over finite domains. (English) Zbl 1062.03023 J. Logic Lang. Inf. 13, No. 4, 385-402 (2004). MSC: 03B65 03C80 PDFBibTeX XMLCite \textit{G. Ben-Avi} and \textit{Y. Winter}, J. Logic Lang. Inf. 13, No. 4, 385--402 (2004; Zbl 1062.03023) Full Text: DOI
Koller, Alexander; Debusmann, Ralph; Gabsdil, Malte; Striegnitz, Kristina Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game. (English) Zbl 1074.68624 J. Logic Lang. Inf. 13, No. 2, 187-206 (2004). MSC: 68T50 68T15 PDFBibTeX XMLCite \textit{A. Koller} et al., J. Logic Lang. Inf. 13, No. 2, 187--206 (2004; Zbl 1074.68624) Full Text: DOI
Gaylard, Helen; Ramsay, Allan Relevant answers to WH-questions. (English) Zbl 1052.03524 J. Logic Lang. Inf. 13, No. 2, 173-186 (2004). MSC: 03B65 68T50 91F20 PDFBibTeX XMLCite \textit{H. Gaylard} and \textit{A. Ramsay}, J. Logic Lang. Inf. 13, No. 2, 173--186 (2004; Zbl 1052.03524) Full Text: DOI
Parikh, Rohit; Ramanujam, Ramaswamy A knowledge based semantics of messages. (English) Zbl 1031.03021 J. Logic Lang. Inf. 12, No. 4, 453-467 (2003). MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{R. Parikh} and \textit{R. Ramanujam}, J. Logic Lang. Inf. 12, No. 4, 453--467 (2003; Zbl 1031.03021) Full Text: DOI
Williamson, Jon Bayesianism and language change. (English) Zbl 1014.03025 J. Logic Lang. Inf. 12, No. 1, 53-97 (2003). MSC: 03B48 PDFBibTeX XMLCite \textit{J. Williamson}, J. Logic Lang. Inf. 12, No. 1, 53--97 (2003; Zbl 1014.03025) Full Text: DOI
Pratt-Hartmann, Ian A two-variable fragment of English. (English) Zbl 1012.03038 J. Logic Lang. Inf. 12, No. 1, 13-45 (2003). MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann}, J. Logic Lang. Inf. 12, No. 1, 13--45 (2003; Zbl 1012.03038) Full Text: DOI
van Ditmarsch, Hans P. Descriptions of game actions. (English) Zbl 1003.03014 J. Logic Lang. Inf. 11, No. 3, 349-365 (2002). MSC: 03B42 68T27 68T30 03B45 91A06 PDFBibTeX XMLCite \textit{H. P. van Ditmarsch}, J. Logic Lang. Inf. 11, No. 3, 349--365 (2002; Zbl 1003.03014) Full Text: DOI
Visser, Albert The donkey and the monoid. Dynamic semantics with control elements. (English) Zbl 0998.03028 J. Logic Lang. Inf. 11, No. 1, 107-131 (2002). Reviewer: Jean Pallo (Dijon) MSC: 03B65 68T50 91F20 PDFBibTeX XMLCite \textit{A. Visser}, J. Logic Lang. Inf. 11, No. 1, 107--131 (2002; Zbl 0998.03028) Full Text: DOI
Nenkova, Ani A tableau method for graded intersections of modalities: A case for concept languages. (English) Zbl 0990.03007 J. Logic Lang. Inf. 11, No. 1, 67-77 (2002). MSC: 03B35 03B42 68T30 03B45 PDFBibTeX XMLCite \textit{A. Nenkova}, J. Logic Lang. Inf. 11, No. 1, 67--77 (2002; Zbl 0990.03007) Full Text: DOI
Egg, Markus; Koller, Alexander; Niehren, Joachim The constraint language for lambda structures. (English) Zbl 0995.68131 J. Logic Lang. Inf. 10, No. 4, 457-485 (2001). MSC: 68T50 91F20 03B65 PDFBibTeX XMLCite \textit{M. Egg} et al., J. Logic Lang. Inf. 10, No. 4, 457--485 (2001; Zbl 0995.68131) Full Text: DOI
Muskens, Reinhard Talking about trees and truth-conditions. (English) Zbl 0998.03026 J. Logic Lang. Inf. 10, No. 4, 417-455 (2001). Reviewer: Jean Pallo (Dijon) MSC: 03B65 91F20 PDFBibTeX XMLCite \textit{R. Muskens}, J. Logic Lang. Inf. 10, No. 4, 417--455 (2001; Zbl 0998.03026) Full Text: DOI
van Eijck, Jan Incremental dynamics. (English) Zbl 0981.03032 J. Logic Lang. Inf. 10, No. 3, 319-351 (2001). Reviewer: Ralf Naumann (Düsseldorf) MSC: 03B65 PDFBibTeX XMLCite \textit{J. van Eijck}, J. Logic Lang. Inf. 10, No. 3, 319--351 (2001; Zbl 0981.03032) Full Text: DOI
Janssen, Theo M. V. Frege, contextuality and compositionality. (English) Zbl 0961.03003 J. Logic Lang. Inf. 10, No. 1, 115-136 (2001). Reviewer: Volker Peckhaus (Erlangen) MSC: 03-03 01A55 03A05 PDFBibTeX XMLCite \textit{T. M. V. Janssen}, J. Logic Lang. Inf. 10, No. 1, 115--136 (2001; Zbl 0961.03003) Full Text: DOI
Fernando, Tim Ambiguous discourse in a compositional context. An operational perspective. (English) Zbl 0958.03019 J. Logic Lang. Inf. 10, No. 1, 63-86 (2001). MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{T. Fernando}, J. Logic Lang. Inf. 10, No. 1, 63--86 (2001; Zbl 0958.03019) Full Text: DOI
Gardent, Claire Deaccenting and higher-order unification. (English) Zbl 0955.03510 J. Logic Lang. Inf. 9, No. 3, 313-338 (2000). MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{C. Gardent}, J. Logic Lang. Inf. 9, No. 3, 313--338 (2000; Zbl 0955.03510) Full Text: DOI
Zwarts, Joost; Winter, Yoad Vector space semantics: A model-theoretic analysis of locative prepositions. (English) Zbl 0986.03023 J. Logic Lang. Inf. 9, No. 2, 169-211 (2000). MSC: 03B65 PDFBibTeX XMLCite \textit{J. Zwarts} and \textit{Y. Winter}, J. Logic Lang. Inf. 9, No. 2, 169--211 (2000; Zbl 0986.03023) Full Text: DOI
Vermeulen, C. F. M. Variables as stacks. A case study in dynamic model theory. (English) Zbl 0988.03050 J. Logic Lang. Inf. 9, No. 2, 143-167 (2000). MSC: 03B65 03B60 68T50 PDFBibTeX XMLCite \textit{C. F. M. Vermeulen}, J. Logic Lang. Inf. 9, No. 2, 143--167 (2000; Zbl 0988.03050) Full Text: DOI
Fernando, Tim A modal logic for non-deterministic discourse processing. (English) Zbl 0947.03043 J. Logic Lang. Inf. 8, No. 4, 445-468 (1999). Reviewer: P.Materna (Praha) MSC: 03B65 03B45 68T50 PDFBibTeX XMLCite \textit{T. Fernando}, J. Logic Lang. Inf. 8, No. 4, 445--468 (1999; Zbl 0947.03043) Full Text: DOI
Fisler, Kathi Timing diagrams: Formalization and algorithmic verification. (English) Zbl 0941.03032 J. Logic Lang. Inf. 8, No. 3, 323-361 (1999). MSC: 03B70 68Q60 03D05 03B25 68M07 PDFBibTeX XMLCite \textit{K. Fisler}, J. Logic Lang. Inf. 8, No. 3, 323--361 (1999; Zbl 0941.03032) Full Text: DOI
Dymetman, Marc Group theory and computational linguistics. (English) Zbl 0919.03024 J. Logic Lang. Inf. 7, No. 4, 461-497 (1998). Reviewer: Jean Pallo (Dijon) MSC: 03B65 68T50 20E05 68Q45 PDFBibTeX XMLCite \textit{M. Dymetman}, J. Logic Lang. Inf. 7, No. 4, 461--497 (1998; Zbl 0919.03024) Full Text: DOI
Johnson, Mark Proof nets and the complexity of processing center embedded constructions. (English) Zbl 0915.03028 J. Logic Lang. Inf. 7, No. 4, 433-447 (1998). MSC: 03B65 91F20 03F07 PDFBibTeX XMLCite \textit{M. Johnson}, J. Logic Lang. Inf. 7, No. 4, 433--447 (1998; Zbl 0915.03028) Full Text: DOI
Ranta, Aarne Syntactic calculus with dependent types. (English) Zbl 0920.03041 J. Logic Lang. Inf. 7, No. 4, 413-431 (1998). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B65 03F35 68T50 PDFBibTeX XMLCite \textit{A. Ranta}, J. Logic Lang. Inf. 7, No. 4, 413--431 (1998; Zbl 0920.03041) Full Text: DOI
Retoré, Christian Introduction to the special issue on recent advances in logical and algebraic approaches to grammar. (English) Zbl 0925.03140 J. Logic Lang. Inf. 7, No. 4, 395-398 (1998). MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{C. Retoré}, J. Logic Lang. Inf. 7, No. 4, 395--398 (1998; Zbl 0925.03140) Full Text: DOI
Gabbay, Dov (ed.); Kempson, Ruth (ed.) Special issue on proof theory and natural language. (English) Zbl 0853.00010 J. Logic Lang. Inf. 5, No. 3-4, 247-422 (1996). MSC: 00B15 03-06 PDFBibTeX XML
Dörre, Jochen; König, Esther; Gabbay, Dov Fibred semantics for feature-based grammar logic. (English) Zbl 0858.03034 J. Logic Lang. Inf. 5, No. 3-4, 387-422 (1996). Reviewer: J.Dörre (Stuttgart) MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{J. Dörre} et al., J. Logic Lang. Inf. 5, No. 3--4, 387--422 (1996; Zbl 0858.03034) Full Text: DOI
Kamp, Hans; Reyle, Uwe A calculus for first order discourse representation structures. (English) Zbl 0865.03018 J. Logic Lang. Inf. 5, No. 3-4, 297-348 (1996). Reviewer: H.Wansing (Leipzig) MSC: 03B65 PDFBibTeX XMLCite \textit{H. Kamp} and \textit{U. Reyle}, J. Logic Lang. Inf. 5, No. 3--4, 297--348 (1996; Zbl 0865.03018) Full Text: DOI
Schöter, Andreas Evidential bilattice logic and lexical inference. (English) Zbl 0851.03008 J. Logic Lang. Inf. 5, No. 1, 65-105 (1996). MSC: 03B65 68T15 68T50 68T27 PDFBibTeX XMLCite \textit{A. Schöter}, J. Logic Lang. Inf. 5, No. 1, 65--105 (1996; Zbl 0851.03008) Full Text: DOI
Moshier, M. Andrew A rational reconstruction of the domain of feature structures. (English) Zbl 0832.03015 J. Logic Lang. Inf. 4, No. 2, 111-143 (1995). MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{M. A. Moshier}, J. Logic Lang. Inf. 4, No. 2, 111--143 (1995; Zbl 0832.03015) Full Text: DOI
Backofen, Rolf; Rogers, James; Vijay-Shanker, K. A first-order axiomatization of the theory of finite trees. (English) Zbl 0833.03010 J. Logic Lang. Inf. 4, No. 1, 5-39 (1995). MSC: 03B65 PDFBibTeX XMLCite \textit{R. Backofen} et al., J. Logic Lang. Inf. 4, No. 1, 5--39 (1995; Zbl 0833.03010) Full Text: DOI
Andréka, Hajnal; Mikulás, Szabolcs Lambek calculus and its relational semantics: Completeness and incompleteness. (English) Zbl 0808.03003 J. Logic Lang. Inf. 3, No. 1, 1-37 (1994). MSC: 03B20 03C90 PDFBibTeX XMLCite \textit{H. Andréka} and \textit{S. Mikulás}, J. Logic Lang. Inf. 3, No. 1, 1--37 (1994; Zbl 0808.03003) Full Text: DOI
Baader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard; Nutt, Werner; Smolka, Gert On the expressivity of feature logics with negation, functional uncertainty, and sort equations. (English) Zbl 0788.68131 J. Logic Lang. Inf. 2, No. 1, 1-18 (1993). MSC: 68T27 68T50 PDFBibTeX XMLCite \textit{F. Baader} et al., J. Logic Lang. Inf. 2, No. 1, 1--18 (1993; Zbl 0788.68131) Full Text: DOI
Kamareddine, Fairouz; Klein, Ewan Nominalization, predication and type containment. (English) Zbl 0793.03031 J. Logic Lang. Inf. 2, No. 3, 171-215 (1993). MSC: 03B65 03B40 PDFBibTeX XMLCite \textit{F. Kamareddine} and \textit{E. Klein}, J. Logic Lang. Inf. 2, No. 3, 171--215 (1993; Zbl 0793.03031) Full Text: DOI
Blackburn, Patrick; Spaan, Edith A modal perspective on the computational complexity of attribute value grammar. (English) Zbl 0793.03018 J. Logic Lang. Inf. 2, No. 2, 129-169 (1993). MSC: 03B45 03D15 68Q25 68T50 PDFBibTeX XMLCite \textit{P. Blackburn} and \textit{E. Spaan}, J. Logic Lang. Inf. 2, No. 2, 129--169 (1993; Zbl 0793.03018) Full Text: DOI
van Eijck, Jan; de Vries, Fer-Jan Dynamic interpretation and Hoare deduction. (English) Zbl 0793.03033 J. Logic Lang. Inf. 1, No. 1, 1-44 (1992). MSC: 03B65 68T30 PDFBibTeX XMLCite \textit{J. van Eijck} and \textit{F.-J. de Vries}, J. Logic Lang. Inf. 1, No. 1, 1--44 (1992; Zbl 0793.03033) Full Text: DOI