Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers (Lecture Notes in Computer Science)

This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held in November 2022, in Tokyo, Japan. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The conference focuses on theoretical and computational linguistics covering topics ranging from syntax, semantics, and pragmatics to the philosophy of language and natural language processing. Preface LENLS19 Organization Contents Cumulative Reading, QUD, and Maximal Informativeness 1 Introduction 2 Brasoveanu (ch1brasoveanu2013)'s Analysis of Cumulative Reading 3 A Challenging Case Discussed by Krifka (ch1krifka1999) 4 Proposal: QUD-Based Maximal Informativeness 4.1 Cumulative-Reading Sentences and Their Underlying QUD 4.2 A QUD-Based Maximality Operator 4.3 Analyzing Cumulative-Reading Sentences 5 Discussion: Comparison with von Fintel et al. (ch1von2014) 6 Extension: QUD-Based Informativeness and even 7 Conclusion References Events and Relative Clauses 1 Introduction 2 Background 2.1 Coordination and Quantification 2.2 Negation 3 Subject Relative Clauses 4 Other Relative Clauses 4.1 Relative Algebra 5 Relative Clauses, Database Joins, and Trace as a Wide-Scope Indefinite 6 Negation in Relative Clauses 7 Related Work, Discussion and Conclusions References The Semantic Markedness of the Japanese Negative Preterite: Non-existence of (Positive) Eventualities vs. Existence of Negative Eventualities 1 Introduction 2 Existence of Negative Eventualities vs. Non-existence of (positive) Eventualities 3 Proposal: The Japanese Preterite is Not Compatible with Propositional Negation 3.1 The Japanese Tense System 3.2 The Incompatibility of the Past Tense and the Propositional Negation 4 The Nonpast Nonperfective as an ``Alternative Preterite'' 4.1 The -te iru form in its Perfect Use 4.2 The Nonpast Nonperfective as an ``Alternative Preterite'' 4.3 Negative Preterites with a Stative Base 5 Conclusion References Granularity in Number and Polarity Effects 1 Introduction 2 Data 3 The Scope Theory of Mo `Even' 4 Proposal 4.1 Granularity in Number 4.2 Polarity Effects Explained 4.3 Some Predictions 5 Discussion 5.1 Approximately N 5.2 Contrastive Topic Marker Wa and Numerals 6 Conclusion References Contrafactives and Learnability: An Experiment with Propositional Constants 1 Introduction 2 Counterexamples 3 Motivating Our Hypothesis 4 Experiments 5 Conclusion References Formalizing Argument Structures with Combinatory Categorial Grammar 1 Introduction 2 Segment-Based Analysis of Japanese Verb Conjugation 3 Constructivist Analysis of Transitivity Alternation 4 Extensions 5 Concluding Remarks References A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic 1 Introduction and Motivation 1.1 Introduction 1.2 Motivation for Analyzing the Meaning of a Formula in a Combination of Intuitionistic and Classical Logic 2 Restall's Analysis, Two Points of Improvement, and One Open Problem 2.1 Restall's Analysis 2.2 Two Points of Improvement and One Open Problem 3 Combination of Intuitionistic and Classical Propositional Logic C+J 4 Applying Takano's Method to C+J 5 Analysis of C+J Based on Unilateralism References Constraining Parse Ambiguity with Grammatical Codes 1 Introduction 2 Full Parse Structure 3 Sentence Layers 4 Motivating Word Analysis and the Human Touch 5 Word Class and Grammar Codes 6 Verb Words 6.1 Verb Classes 6.2 Verb Codes 7 Insights Beyond the Parse Tree 8 Conclusion References Detecting Modality and Evidentiality 1 Introduction 2 Against Purely Prospective Analyses of Drohen 3 Detecting Epistemic Modality 4 Detecting Evidentiality 5 Analysis 6 Conclusion and Further Issues References Deriving Formal Semantic Representations from Dependency Structures 1 Introduction 2 Montague Semantics 3 Representing Dependency Structures as Functional Terms 4 The Coherence Principle 5 Interpreting the Noun Phrases 6 Revisiting the Subject and Object Dependencies 7 Robustness 8 Scope Ambiguities 9 Conclusions References Logic Operators and Quantifiers in Type-Theory of Algorithms 1 Introduction 2 Introduction to Type-Theory of Acyclic Algorithms 2.1 Syntax 2.2 Overview of Algorithmic Semantics in Lar (Lr) 2.3 Denotational Semantics of LAR 3 Gamma-Star Reduction Calculus of LAR 3.1 Congruence Relation Between Terms 3.2 Reduction Rules of Extended LAR 3.3 Reduction Relation 3.4 Canonical Forms and *-Reduction 4 Algorithmic Expressiveness of Lar 5 Expressiveness of Lar for Coordination in Natural Language Phrases 5.1 Coordinated Predication Versus Sentential Conjunction 6 Some Relations Between Let-Expressions and Recursion Terms 7 Conclusion and Outlook for Future Work References Slurs’ Variability, Emotional Dimensions, and Game-Theoretic Pragmatics 1 Introduction 2 Two Types of Variation 3 Slurs and the PAD Model of Emotions 4 Affective Meaning Games 5 Explaining Slurs’ Variability 5.1 Variation Across Lexical Items 5.2 Variation Across Context of Utterance 6 Comparison 7 Conclusion References Measurement Theory Meets Mereology in Multidimensionality in Resemblance Nominalism 1 Motivation 2 Measurement Theory Meets Meleology in RMRL 2.1 Language 2.2 Semantics 3 Concluding Remarks References Correction to: Logic and Engineering of Natural Language Semantics Correction to: D. Bekki et al. (Eds.): Logic and Engineering of Natural Language Semantics, LNCS 14213, https://doi.org/10.1007/978-3-031-43977-3 Author Index