The following pages link to (Q4570895):
Displayed 29 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Logic for languages containing referentially promiscuous expressions (Q496327) (← links)
- On the presuppositions of number sentences (Q514106) (← links)
- Fooling around with tenses (Q643107) (← links)
- Formal semantics and applied mathematics: an inferential account (Q783675) (← links)
- A `natural logic' inference system using the Lambek calculus (Q851198) (← links)
- Partial semantics for quantified modal logic (Q1633238) (← links)
- Linguistic\(\leftrightarrow \)rational agents' semantics (Q1688923) (← links)
- The genesis of hi-worlds: towards a principle-based possible world semantics (Q1758558) (← links)
- Free choice and contextually permitted actions (Q1922828) (← links)
- On the 3D visualisation of logical relations (Q1931340) (← links)
- The classical Aristotelian hexagon versus the modern duality hexagon (Q1940912) (← links)
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
- Compositional natural language semantics using independence friendly logic or dependence logic (Q1956381) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- Structures and circumstances: two ways to fine-grain propositions (Q2441797) (← links)
- Presuppositions and quantifier domains (Q2500826) (← links)
- Meaning and interpretation. II (Q2642523) (← links)
- The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL (Q2900507) (← links)
- How the Validity of the Parallel Inference is Possible: From the Ancient Mohist Diagnose to a Modern Logical Treatment of Its Semantic-Syntactic Structure (Q2963982) (← links)
- A Computable Solution to Partee’s Temperature Puzzle (Q2964003) (← links)
- Existential Import and Relations of Categorical and Modal Categorical Statements (Q3121968) (← links)
- Event Semantics and Abstract Categorial Grammar (Q3172835) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- What Is the Sense in Logic and Philosophy of Language (Q5126213) (← links)
- Dependency as Question Entailment (Q5213645) (← links)
- The Cricket and the Ant: Organizational Trade-offs in Changing Environments (Q5308981) (← links)