The validity of inference and argument

DOI10.1007/978-3-031-50981-0_4MaRDI QIDQ6612867

Dag Prawitz

Publication date: 1 October 2024

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

Cites Work

• Constructions, proofs and the meaning of logical constants
• The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
• Constructivism in mathematics. An introduction. Volume II
• On the idea of a general proof theory
• On the rules of suppositions in formal logic
• The seeming interdependence between the concepts of valid inference and proof
• Validity concepts in proof-theoretic semantics
• Semantic values for natural deduction derivations
• Untersuchungen über das logische Schließen. I.
• The fundamental problem of general proof theory
• Explaining Deductive Inference
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: The validity of inference and argument

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