scientific article; zbMATH DE number 6900696
From MaRDI portal
Publication:4570895
zbMATH Open1391.03004MaRDI QIDQ4570895FDOQ4570895
Publication date: 9 July 2018
Title of this publication is not available (Why is that?)
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)
Cited In (34)
- On the 3D visualisation of logical relations
- The classical Aristotelian hexagon versus the modern duality hexagon
- Fooling around with tenses
- The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL
- A `natural logic' inference system using the Lambek calculus
- What Is the Sense in Logic and Philosophy of Language
- A Computable Solution to Partee’s Temperature Puzzle
- Dependency as Question Entailment
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- Free choice and contextually permitted actions
- A pragmatic dissolution of Curry's paradox
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
- Partial semantics for quantified modal logic
- The genesis of hi-worlds: towards a principle-based possible world semantics
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic
- Existential Import and Relations of Categorical and Modal Categorical Statements
- Meaning and interpretation. II
- Notes on my scientific life
- Hybrid Tableaux for the Difference Modality
- How the Validity of the Parallel Inference is Possible: From the Ancient Mohist Diagnose to a Modern Logical Treatment of Its Semantic-Syntactic Structure
- Structures and circumstances: two ways to fine-grain propositions
- The Cricket and the Ant: Organizational Trade-offs in Changing Environments
- Recognizing textual entailment and computational semantics
- Presuppositions and quantifier domains
- Compositional natural language semantics using independence friendly logic or dependence logic
- Event Semantics and Abstract Categorial Grammar
- Wittgenstein and Formal Semantics: A Case Study on the Tractarian Notions of Truth-Conditions and Compositionality
- Logic for languages containing referentially promiscuous expressions
- Formal semantics and applied mathematics: an inferential account
- Dynamic term-modal logics for first-order epistemic planning
- Linguistic\(\leftrightarrow \)rational agents' semantics
- Title not available (Why is that?)
- On the presuppositions of number sentences
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4570895)