scientific article; zbMATH DE number 4041863

MaRDI QIDQ3781064zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

axiomatizable systemsBrouwerian algebradeductive systemsdivergent systemsdouble negation

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• scientific article; zbMATH DE number 1028825
• scientific article; zbMATH DE number 1852923
• Deductive systems and categories
• scientific article; zbMATH DE number 726582
• scientific article; zbMATH DE number 976352
• Deduction-detachment theorem and Gentzen-style deductive systems
• Axiomatic System, Deduction and Implication
• scientific article; zbMATH DE number 42489

Cited in

(7)

• Quantum insights from null-strut geometrodynamics
• Key notions of Tarski's methodology of deductive systems
• A system of quantificational deduction
• scientific article; zbMATH DE number 4104929 (Why is no real title available?)
• scientific article; zbMATH DE number 35401 (Why is no real title available?)
• scientific article; zbMATH DE number 976352 (Why is no real title available?)
• scientific article; zbMATH DE number 753772 (Why is no real title available?)

This page was built for publication:

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