Inferential Semantics

DOI10.1007/978-3-319-11041-7_6zbMath1429.03023OpenAlexW4232994977MaRDI QIDQ5213609

Kosta Došen

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7_6

zbMATH Keywords

nametruthvalidityprovabilitydeductioninferenceproof-theoretic semanticspropositiongroundconsequencegeneral proof theorycategorial proof theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Composition of deductions within the propositions-as-types paradigm ⋮ Gödel's natural deduction ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Equality of proofs for linear equality
• Coherence in linear predicate logic
• Cut elimination in categories
• Models of deduction
• Popper's theory of deductive inference and the concept of a logical constant
• Adjointness in Foundations
• Identity of Proofs Based on Normalization and Generality
• Functional completeness of cartesian categories
• Deductive Completeness

This page was built for publication: Inferential Semantics