On the concept of proof

MaRDI QIDQ3535127zbMATH OpenFDO

Authors Vladimir Ivanovich Shalak

Publication date 10 November 2008

Mathematics Subject Classification ID

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

Recommendations

• Proofs, Proofs, Proofs, and Proofs
• scientific article; zbMATH DE number 496219
• scientific article; zbMATH DE number 2080004
• Proof theory and meaning: on the context of deducibility
• scientific article; zbMATH DE number 1984275

Cited in

(5)

• On the proof-theoretic foundation of general definition theory
• Meaning approached via proofs
• A modified theory M SR
• scientific article; zbMATH DE number 2080004 (Why is no real title available?)
• The relationship of derivations in artificial languages to ordinary rigorous mathematical proof

This page was built for publication: On the concept of proof

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