Symmetry as a method of proof

zbMATH Open0887.03001MaRDI QIDQ1815409

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)

Related Items (1)

Symmetry of evidence without evidence of symmetry

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)