Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt. Non-commutative propositional logic with short-circuit evaluation. Journal of Applied Non-Classical Logics, 31(3-4):234-278, 2021. [doi]
@article{BergstraPS21,
title = {Non-commutative propositional logic with short-circuit evaluation},
author = {Jan A. Bergstra and Alban Ponse and Daan J. C. Staudt},
year = {2021},
doi = {10.1080/11663081.2021.2010954},
url = {https://doi.org/10.1080/11663081.2021.2010954},
researchr = {https://researchr.org/publication/BergstraPS21},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {31},
number = {3-4},
pages = {234-278},
}