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