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.
Time | Type | Notes |
2024-01-09T20:54:54 | update | System / admin update |
2022-03-11T11:37:57 | update | System / admin update |
2022-01-11T19:00:40 | update | System / admin update |
2018-08-05T04:36:53 | update | System / admin update |
2016-02-12T03:45:21 | update | |
2015-03-21T23:03:06 | update | System / admin update |
2015-01-31T23:29:52 | update | System / admin update |
2014-01-16T07:45:50 | update | System / admin update |
2013-12-23T17:47:11 | update | System / admin update |
2013-12-01T18:09:10 | update | System / admin update |
2013-12-01T18:09:01 | add | System / admin update |
loading ..