This update changes the PSI implementation (path semantical logic) to use a safe model of path semantical quality. The problem previously was how to handle reflexivity without symbolic distinction (this is beyond IPL - constructive logic). Now we have a safe subset of path semantics that works with IPL and also already proved some useful results for further research on Seshatism.
bvssvni|4 years ago
If you have questions, please open up an issue on the Prop project (https://github.com/advancedresearch/prop/issues). You can also join us on the Discord server (https://discord.gg/JkrhJJRBR2).