Revision history for entry Ishii, Katsumasa: New sequent calculi for Visser's Formal Propositional Logic [ISHNSC]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2024-01-09T20:54:54updateSystem / admin update
2022-03-11T11:37:57updateSystem / admin update
2022-01-11T19:00:40updateSystem / admin update
2018-08-05T04:36:53updateSystem / admin update
2016-02-12T03:45:21update
2015-03-21T23:03:06updateSystem / admin update
2015-01-31T23:29:52updateSystem / admin update
2014-01-16T07:45:50updateSystem / admin update
2013-12-23T17:47:11updateSystem / admin update
2013-12-01T18:09:10updateSystem / admin update
2013-12-01T18:09:01addSystem / admin update