The following pages link to (Q4342086):
Displaying 22 items.
- Figures of dialogue: a view from ludics (Q408341) (← links)
- Dialogue structure and logical expressivism (Q408346) (← links)
- Constructing situations and time (Q543532) (← links)
- Situations in LTL as strings (Q731890) (← links)
- Simple consequence relations (Q809992) (← links)
- Cut-elimination and quantification in canonical systems (Q817707) (← links)
- Meaning and dialogue coherence: A proof-theoretic investigation (Q1006473) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- Classical harmony: Rules of inference and the meaning of the logical constants (Q1340989) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- Modal logic, truth, and the master modality. (Q1857362) (← links)
- Expressing `the structure of' in homotopy type theory (Q2054123) (← links)
- Meaning and computing: two approaches to computable propositions (Q2148782) (← links)
- Natural language inference in Coq (Q2258817) (← links)
- Variable handling and compositionality: comparing DRT and DTS (Q2425327) (← links)
- The assertion-candidate and the meaning of mood (Q2460191) (← links)
- Game Semantics and the Manifestation Thesis (Q2908761) (← links)
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting (Q3295841) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Intuitionistic categorial grammar (Q3348895) (← links)
- Situations as Strings (Q4917987) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)
