Multideductive logic and the theoretic-formal unification of physical theories

DOI10.1023/A:1005254826656MaRDI QIDQ1840988zbMATH OpenOpenAlexFDO

Authors Edelcio G. de Souza

Publication date 22 February 2001

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005254826656

zbMATH Keywords

Bohr atom theorymultideductive logicunification of physical theories

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• A new axiomatization of unified quantum logic
• Towards a general theory of the combination of logics
• Unifying Theories of Logic and Specification
• The best possible unification for any collection of physical theories
• scientific article; zbMATH DE number 3882363

Cited in

(1)

• Paraconsistent orbits of logics

This page was built for publication: Multideductive logic and the theoretic-formal unification of physical theories

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