proofofconcept icon indicating copy to clipboard operation
proofofconcept copied to clipboard

Published 20 hours ago • verified publisher icon allofphysicsgraph

how is this project related to other mathematical approaches

Open bhpayne opened this issue 4 years ago • 1 comments

  • https://en.wikipedia.org/wiki/Sequent_calculus
  • https://en.wikipedia.org/wiki/Proof_net
  • https://en.wikipedia.org/wiki/Geometry_of_interaction
  • https://en.wikipedia.org/wiki/Equational_logic
  • https://en.wikipedia.org/wiki/Method_of_analytic_tableaux
  • https://en.wikipedia.org/wiki/First-order_logic#Rules_of_inference

as per https://www.reddit.com/r/Physics/comments/gmqc2l/visualizing_derivations/

bhpayne avatar May 21 '20 03:05 bhpayne

While I don't have the answer to these concepts, I do have

  • https://derivationmap.net/other_projects
  • https://derivationmap.net/literature_review

bhpayne avatar Sep 21 '20 23:09 bhpayne