scientific article; zbMATH DE number 6900696
From MaRDI portal
Publication:4570895
Cited in
(34)- On the 3D visualisation of logical relations
- The classical Aristotelian hexagon versus the modern duality hexagon
- Fooling around with tenses
- Existential import and relations of categorical and modal categorical statements
- A `natural logic' inference system using the Lambek calculus
- A Computable Solution to Partee’s Temperature Puzzle
- 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
- Event semantics and abstract categorial grammar
- Meaning and interpretation. II
- Notes on my scientific life
- 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
- 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
- Presuppositions and quantifier domains
- Recognizing textual entailment and computational semantics
- Compositional natural language semantics using independence friendly logic or dependence logic
- 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
- scientific article; zbMATH DE number 6900695 (Why is no real title available?)
- The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating English to FOL
- Hybrid tableaux for the difference modality
- 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)
