Revision history for entry Hartonas, Chrysafis: Lattice logic as a fragment of (2-sorted) residuated moda.. [HARLLA-7]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-11-17T14:33:45updateSystem / admin update
2020-11-17T14:32:16updateSystem / admin update
2020-03-27T14:34:04updateSystem / admin update
2020-02-07T00:46:06updateSystem / admin update
2019-06-16T15:33:34updateSystem / admin update
2019-06-14T15:34:55updateSystem / admin update
2019-05-23T15:29:55updateSystem / admin update
2019-05-11T15:29:19updateSystem / admin update
2019-05-11T13:24:17updateSystem / admin update
2019-05-11T00:05:26updateSystem / admin update
2019-05-10T15:37:15updateSystem / admin update
2018-11-30T17:50:38updateSystem / admin update
2018-11-30T16:14:39updateSystem / admin update
2018-11-30T15:29:28updateSystem / admin update
2018-11-30T14:45:44addSystem / admin update