Revision history for entry Bílková, Marta; Colacito, Almudena: Proof Theory for Positive Logic with Weak .. [BLKPTF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-01-09T02:48:07updateSystem / admin update
2023-01-09T02:48:02updateSystem / admin update
2022-09-25T07:33:29updateSystem / admin update
2020-10-17T17:12:23updateSystem / admin update
2020-10-17T13:56:54updateSystem / admin update
2020-10-16T17:27:23updateSystem / admin update
2020-10-16T14:01:16updateSystem / admin update
2020-10-15T17:25:03updateSystem / admin update
2020-10-15T14:00:05updateSystem / admin update
2020-10-14T13:59:08updateSystem / admin update
2020-10-13T17:32:01updateSystem / admin update
2020-10-13T14:08:57updateSystem / admin update
2020-10-12T17:32:45updateSystem / admin update
2020-10-12T14:01:44updateSystem / admin update
2020-10-11T17:15:07updateSystem / admin update
2020-10-11T13:58:08updateSystem / admin update
2020-10-10T18:19:39updateSystem / admin update
2020-10-10T14:03:36updateSystem / admin update
2020-10-09T18:33:04updateSystem / admin update
2020-10-09T14:04:45updateSystem / admin update
2020-10-08T18:31:26updateSystem / admin update
2020-10-08T14:02:59updateSystem / admin update
2020-10-07T18:11:22updateSystem / admin update
2020-10-07T14:01:42updateSystem / admin update
2020-10-06T18:23:28updateSystem / admin update
2020-10-06T14:04:47updateSystem / admin update
2020-10-05T14:02:43updateSystem / admin update
2020-10-04T16:06:00updateSystem / admin update
2020-10-04T14:11:58updateSystem / admin update
2020-10-02T17:45:33updateSystem / admin update
2020-10-02T16:07:23updateSystem / admin update
2020-10-01T18:06:06updateSystem / admin update
2020-10-01T16:25:12updateSystem / admin update
2020-09-30T18:02:59updateSystem / admin update
2020-09-30T16:24:37updateSystem / admin update
2020-09-29T18:09:52updateSystem / admin update
2020-09-29T16:31:57updateSystem / admin update
2020-09-28T17:56:52updateSystem / admin update
2020-09-28T16:19:29updateSystem / admin update
2020-09-27T17:31:20updateSystem / admin update
2020-09-27T15:58:54updateSystem / admin update
2020-09-26T17:34:35updateSystem / admin update
2020-09-26T16:01:08updateSystem / admin update
2020-09-25T17:31:21updateSystem / admin update
2020-09-25T15:59:37updateSystem / admin update
2020-09-24T17:44:55updateSystem / admin update
2020-09-24T16:13:47updateSystem / admin update
2020-09-23T17:34:00updateSystem / admin update
2020-09-23T16:00:36updateSystem / admin update
2020-09-22T17:16:23updateSystem / admin update
2020-09-22T15:47:27updateSystem / admin update
2020-09-21T17:28:25updateSystem / admin update
2020-09-21T16:02:12updateSystem / admin update
2020-09-20T17:22:12updateSystem / admin update
2020-09-20T15:49:30updateSystem / admin update
2020-09-19T17:29:17updateSystem / admin update
2020-09-19T16:00:34updateSystem / admin update
2020-09-18T17:37:23updateSystem / admin update
2020-09-18T16:07:22updateSystem / admin update
2020-09-17T17:38:43updateSystem / admin update
2020-09-17T16:08:00updateSystem / admin update
2020-09-16T17:35:17updateSystem / admin update
2020-09-16T16:07:45updateSystem / admin update
2020-09-15T17:38:48updateSystem / admin update
2020-09-15T16:05:17updateSystem / admin update
2020-09-14T19:50:41updateSystem / admin update
2020-09-14T17:29:41updateSystem / admin update
2020-09-13T19:34:27updateSystem / admin update
2020-09-13T17:15:25updateSystem / admin update
2020-09-12T18:54:36updateSystem / admin update
2020-09-12T16:46:55updateSystem / admin update
2020-09-11T19:34:29updateSystem / admin update
2020-09-11T17:28:10updateSystem / admin update
2020-09-10T20:21:29updateSystem / admin update
2020-09-10T17:42:15updateSystem / admin update
2020-09-09T20:34:12updateSystem / admin update
2020-09-09T17:52:12updateSystem / admin update
2020-09-08T21:24:51updateSystem / admin update
2020-09-08T18:19:11updateSystem / admin update
2020-09-07T21:32:47updateSystem / admin update
2020-09-07T18:33:29updateSystem / admin update
2020-09-06T20:14:30updateSystem / admin update
2020-09-06T17:44:51updateSystem / admin update
2020-09-05T20:51:54updateSystem / admin update
2020-09-05T18:14:43updateSystem / admin update
2020-09-04T20:51:40updateSystem / admin update
2020-09-04T18:03:03updateSystem / admin update
2020-09-03T20:25:50updateSystem / admin update
2020-09-03T17:53:48updateSystem / admin update
2020-09-02T20:08:00updateSystem / admin update
2020-09-02T17:40:31updateSystem / admin update
2020-09-01T20:08:00updateSystem / admin update
2020-09-01T17:41:55updateSystem / admin update
2020-08-31T20:34:07updateSystem / admin update
2020-08-31T18:08:20updateSystem / admin update
2020-08-30T19:59:53updateSystem / admin update
2020-08-30T17:32:45updateSystem / admin update
2020-08-29T21:50:08updateSystem / admin update
2020-08-29T19:05:33updateSystem / admin update
2020-08-28T20:55:55updateSystem / admin update
2020-08-28T18:23:15updateSystem / admin update
2020-08-27T21:12:09updateSystem / admin update
2020-08-27T18:28:43updateSystem / admin update
2020-08-26T20:41:07updateSystem / admin update
2020-08-26T18:00:13updateSystem / admin update
2020-08-25T21:01:50updateSystem / admin update
2020-08-25T18:19:04updateSystem / admin update
2020-08-24T19:45:05updateSystem / admin update
2020-08-24T17:18:06updateSystem / admin update
2020-08-23T19:39:43updateSystem / admin update
2020-08-23T17:20:40updateSystem / admin update
2020-08-22T19:37:20updateSystem / admin update
2020-08-22T17:21:08updateSystem / admin update
2020-08-21T20:02:04updateSystem / admin update
2020-08-21T17:38:06updateSystem / admin update
2020-08-20T17:43:04updateSystem / admin update
2020-08-20T16:09:29updateSystem / admin update
2020-08-19T17:38:28updateSystem / admin update
2020-08-19T16:09:10updateSystem / admin update
2020-08-18T17:45:52updateSystem / admin update
2020-08-18T16:12:21updateSystem / admin update
2020-08-17T17:47:20updateSystem / admin update
2020-08-17T16:13:25updateSystem / admin update
2020-08-16T17:41:03updateSystem / admin update
2020-08-16T16:11:32updateSystem / admin update
2020-08-15T17:31:51updateSystem / admin update
2020-08-15T16:03:00updateSystem / admin update
2020-08-14T17:41:54updateSystem / admin update
2020-08-14T16:11:38updateSystem / admin update
2020-08-13T17:50:41updateSystem / admin update
2020-08-13T16:17:03updateSystem / admin update
2020-08-12T17:49:22updateSystem / admin update
2020-08-12T16:15:15updateSystem / admin update
2020-08-11T17:44:17updateSystem / admin update
2020-08-11T16:12:08updateSystem / admin update
2020-08-10T17:44:17updateSystem / admin update
2020-08-10T16:12:26updateSystem / admin update
2020-08-09T17:41:03updateSystem / admin update
2020-08-09T16:12:41updateSystem / admin update
2020-08-08T18:06:49updateSystem / admin update
2020-08-08T16:34:59updateSystem / admin update
2020-08-07T17:45:53updateSystem / admin update
2020-08-07T16:15:09updateSystem / admin update
2020-08-06T18:12:13updateSystem / admin update
2020-08-06T16:34:42updateSystem / admin update
2020-08-05T18:07:10updateSystem / admin update
2020-08-05T16:33:07updateSystem / admin update
2020-08-04T17:56:15updateSystem / admin update
2020-08-04T16:17:00updateSystem / admin update
2020-08-03T18:08:57updateSystem / admin update
2020-08-03T16:29:36updateSystem / admin update
2020-08-02T16:26:49updateSystem / admin update
2020-08-02T14:36:29updateSystem / admin update
2020-07-31T18:18:55updateSystem / admin update
2020-07-31T16:31:11updateSystem / admin update
2020-07-30T18:17:28updateSystem / admin update
2020-07-30T16:32:40updateSystem / admin update
2020-07-29T18:11:06updateSystem / admin update
2020-07-29T16:26:36updateSystem / admin update
2020-07-28T18:18:30updateSystem / admin update
2020-07-28T16:37:03updateSystem / admin update
2020-07-27T18:44:49updateSystem / admin update
2020-07-27T16:44:16updateSystem / admin update
2020-07-26T18:14:01updateSystem / admin update
2020-07-26T16:26:20updateSystem / admin update
2020-07-25T18:10:00updateSystem / admin update
2020-07-25T16:23:46updateSystem / admin update
2020-07-24T18:14:10updateSystem / admin update
2020-07-24T16:30:22updateSystem / admin update
2020-07-23T18:06:48updateSystem / admin update
2020-07-23T16:24:43updateSystem / admin update
2020-07-23T13:14:14updateSystem / admin update
2020-07-22T18:21:03updateSystem / admin update
2020-07-22T16:38:35updateSystem / admin update
2020-07-21T17:59:48updateSystem / admin update
2020-07-21T16:21:52updateSystem / admin update
2020-07-20T17:58:01updateSystem / admin update
2020-07-20T16:18:26updateSystem / admin update
2020-07-19T17:59:22updateSystem / admin update
2020-07-19T16:20:12updateSystem / admin update
2020-07-19T15:12:30updateSystem / admin update
2020-07-19T13:12:48updateSystem / admin update
2019-09-26T18:09:22updateSystem / admin update
2019-09-26T14:22:55updateSystem / admin update
2019-08-05T18:09:11update
2019-08-05T18:09:11update
2019-08-05T18:09:10update
2019-08-05T18:07:22update
2019-07-27T09:50:08update
2019-07-25T14:48:38updateSystem / admin update
2019-07-25T14:29:51updateSystem / admin update
2019-07-25T13:36:00addSystem / admin update