Publication:4570895
From MaRDI portal
zbMath1391.03004MaRDI QIDQ4570895
Publication date: 9 July 2018
03A05: Philosophical and critical aspects of logic and foundations
03B65: Logic of natural languages
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
68T50: Natural language processing
91F20: Linguistics
Related Items
Hybrid Tableaux for the Difference Modality, What Is the Sense in Logic and Philosophy of Language, Dependency as Question Entailment, The Cricket and the Ant: Organizational Trade-offs in Changing Environments, Predicativity, the Russell-Myhill paradox, and Church's intensional logic, Logic for languages containing referentially promiscuous expressions, On the presuppositions of number sentences, Fooling around with tenses, Formal semantics and applied mathematics: an inferential account, A `natural logic' inference system using the Lambek calculus, Partial semantics for quantified modal logic, Linguistic\(\leftrightarrow \)rational agents' semantics, The genesis of hi-worlds: towards a principle-based possible world semantics, Free choice and contextually permitted actions, On the 3D visualisation of logical relations, The classical Aristotelian hexagon versus the modern duality hexagon, Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger, Compositional natural language semantics using independence friendly logic or dependence logic, Subatomic natural deduction for a naturalistic first-order language with non-primitive identity, Dynamic term-modal logics for first-order epistemic planning, Structures and circumstances: two ways to fine-grain propositions, Presuppositions and quantifier domains, Meaning and interpretation. II, The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL, How the Validity of the Parallel Inference is Possible: From the Ancient Mohist Diagnose to a Modern Logical Treatment of Its Semantic-Syntactic Structure, A Computable Solution to Partee’s Temperature Puzzle, Existential Import and Relations of Categorical and Modal Categorical Statements, Event Semantics and Abstract Categorial Grammar, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
