Author/Creator: Staudt, Daan J. C. - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Staudt, Daan J. C.

1. An independent axiomatisation for free short-circuit logic. Issue 1 (2nd January 2018)

Authors:: Ponse, Alban; Staudt, Daan J. C.
Journal:: Journal of applied non-classical logics
Issue:: Volume 28:Issue 1(2018)
Page Start:: 35
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Non-commutative propositional logic with short-circuit evaluation. Issue 3 (2nd October 2021)

Authors:: Bergstra, Jan A.; Ponse, Alban; Staudt, Daan J. C.
Journal:: Journal of applied non-classical logics
Issue:: Volume 31:Issue 3/4(2021)
Page Start:: 234
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗