scientific article; zbMATH DE number 1028823
From MaRDI portal
Publication:4342086
Cited in
(34)- Meaning and dialogue coherence: A proof-theoretic investigation
- Algebraic logic for classical conjunction and disjunction
- Classical harmony: Rules of inference and the meaning of the logical constants
- Five observations concerning the intended meaning of the intuitionistic logical constants
- Modal logic, truth, and the master modality.
- Expressing `the structure of' in homotopy type theory
- Meaning and computing: two approaches to computable propositions
- Natural language inference in Coq
- Proof, meaning and paradox: some remarks
- Variable handling and compositionality: comparing DRT and DTS
- The assertion-candidate and the meaning of mood
- Meaning approached via proofs
- Game semantics and the manifestation thesis
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting
- Verificationism and Classical Realizability
- Intuitionistic categorial grammar
- scientific article; zbMATH DE number 5150882 (Why is no real title available?)
- Ludics and Its Applications to Natural Language Semantics
- Figures of dialogue: a view from ludics
- Dialogue structure and logical expressivism
- Situations as Strings
- Prawitz, Proofs, and Meaning
- Constructing situations and time
- Propositional forms of judgemental interpretations
- Type theory and the informal language of mathematics
- Proof-theoretic semantics: an autobiographical survey
- \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
- Dialogical logic and constructive type theory: new explorations
- A brief summary of Göran Sundholm's philosophical work
- A dependently-typed calculus of event telicity and culminativity
- Mathematical structures in natural language semantics: Zawadowski's contribution to linguistics
- Situations in LTL as strings
- Simple consequence relations
- Cut-elimination and quantification in canonical systems
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 Q4342086)
