Symmetry as a method of proof

MaRDI QIDQ1815409zbMATH OpenFDO

Authors Eric M. Hammer

Publication date 1996

Published in Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

isomorphismvalid uses of symmetry in deductive reasoning

Mathematics Subject Classification ID

Classical first-order logic (03B10) Structure of proofs (03F07)

Recommendations

• Symmetry in polyadic inductive logic
• Invariance, symmetry and rationality
• scientific article; zbMATH DE number 1985673
• Symmetry's end?
• scientific article; zbMATH DE number 1290308

Cited in

(8)

• Perfect symmetries
• Symmetry as an epistemic notion (twice over)
• Without Loss of Generality
• A one-line proof for complementary symmetry
• The asymmetry of formal logic
• A scheme for symmetrization verification
• Symmetry of evidence without evidence of symmetry
• Symbol system for symmetry of physical systems

This page was built for publication: Symmetry as a method of proof

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