scientific article; zbMATH DE number 1028823
From MaRDI portal
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
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, 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
