Inferential Semantics

DOI10.1007/978-3-319-11041-7_6MaRDI QIDQ5213609zbMATH OpenOpenAlexFDO

Authors 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

nameinferencetruthproof-theoretic semanticsvaliditydeductionpropositiongroundconsequenceprovabilitygeneral 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)

Recommendations

• Inferentializing semantics
• Semantics as based on inference
• scientific article; zbMATH DE number 1163916
• Publication:4941944
• Inquisitive semantics
• Semantic analysis of inductive reasoning
• scientific article; zbMATH DE number 4062637
• scientific article; zbMATH DE number 3885871
• Semantics-based nonmonotonic inference
• Inferential erotetic logic meets inquisitive semantics

Cites work

• scientific article; zbMATH DE number 1823815 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 193520 (Why is no real title available?)
• scientific article; zbMATH DE number 1163995 (Why is no real title available?)
• scientific article; zbMATH DE number 6130986 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3105203 (Why is no real title available?)
• scientific article; zbMATH DE number 5661195 (Why is no real title available?)
• A prologue to the theory of deduction
• Adjointness in Foundations
• Coherence in linear predicate logic
• Cut elimination in categories
• Deductive Completeness
• Equality of proofs for linear equality
• Functional completeness of cartesian categories
• Hilbert and his twenty-four problems
• Identity of Proofs Based on Normalization and Generality
• Models of deduction
• Popper's theory of deductive inference and the concept of a logical constant
• Proof-net categories
• Proof-theoretical coherence
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics

Cited in

(10)

• scientific article; zbMATH DE number 3885871 (Why is no real title available?)
• Composition of deductions within the propositions-as-types paradigm
• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
• Interpretation and inference with maximal referential terms
• A generalization of inquisitive semantics
• The proof-theoretic square
• Inferentializing semantics
• Gödel's natural deduction
• scientific article; zbMATH DE number 1878043 (Why is no real title available?)
• Inference and epistemic transparency

This page was built for publication: Inferential Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213609)