justification logics and the geach axiom
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)
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)