scientific article; zbMATH DE number 1028823
From MaRDI portal
Publication:4342086
zbMath0875.03027MaRDI QIDQ4342086
No author found.
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (26)
Classical harmony: Rules of inference and the meaning of the logical constants ⋮ Game Semantics and the Manifestation Thesis ⋮ Meaning and computing: two approaches to computable propositions ⋮ Propositional forms of judgemental interpretations ⋮ Type theory and the informal language of mathematics ⋮ Figures of dialogue: a view from ludics ⋮ Dialogue structure and logical expressivism ⋮ Variable handling and compositionality: comparing DRT and DTS ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ The assertion-candidate and the meaning of mood ⋮ Verificationism and Classical Realizability ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Situations as Strings ⋮ Natural language inference in Coq ⋮ Constructing situations and time ⋮ Intuitionistic categorial grammar ⋮ Situations in LTL as strings ⋮ Proof-theoretic semantics: an autobiographical survey ⋮ \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem ⋮ Meaning and dialogue coherence: A proof-theoretic investigation ⋮ Expressing `the structure of' in homotopy type theory ⋮ Ludics and Its Applications to Natural Language Semantics ⋮ Five observations concerning the intended meaning of the intuitionistic logical constants ⋮ Modal logic, truth, and the master modality. ⋮ Simple consequence relations ⋮ Cut-elimination and quantification in canonical systems
This page was built for publication:
