The validity of inference and argument

DOI10.1007/978-3-031-50981-0_4MaRDI QIDQ6612867zbMATH OpenFDO

Authors Dag Prawitz

Publication date 1 October 2024

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-50981-0_4

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

Cites work

• Constructions, proofs and the meaning of logical constants
• Constructivism in mathematics. An introduction. Volume II
• Explaining deductive inference
• scientific article; zbMATH DE number 7034416 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 43055 (Why is no real title available?)
• scientific article; zbMATH DE number 3508455 (Why is no real title available?)
• scientific article; zbMATH DE number 1335693 (Why is no real title available?)
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 3014189 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3365218 (Why is no real title available?)
• On the idea of a general proof theory
• On the rules of suppositions in formal logic
• Semantic values for natural deduction derivations
• The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
• The fundamental problem of general proof theory
• The seeming interdependence between the concepts of valid inference and proof
• Untersuchungen über das logische Schließen. I.
• Validity concepts in proof-theoretic semantics

Cited in

(2)

• The interdependence between the concepts of valid inference and proof revisited
• Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics

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)