justification logics and the geach axiom

CREATED: [2022-03-17 Thu 10:01]
ID: 4e5b0dbf-3ace-4472-b5e2-c1c86dd3fd0a
REVIEW_SCORE: 0.02404328162109375
MTIME: [2024-12-29 Sun 21:51]

As far as I can remember / tell upon reread, the geach axiom attempts to encode confluence.

• it was originally written for justification logics
• it says something about physics that was discussed in MLOP
• it seems like it might express anaphora resolution also

Related: Justification Logic (Stanford Encyclopedia of Philosophy)

This node is a singleton!