Search results
Results: 107
Number of items: 107
-
Papuc, D., & Ponse, A. (2022). Non-commutative propositional logic with short-circuited biconditional and NAND. (v1 ed.) ArXiv. https://doi.org/10.48550/arXiv.2203.09321 -
Bergstra, J. A., & Ponse, A. (2021). Datatype defining rewrite systems for naturals and integers. Logical Methods in Computer Science, 17(1), Article 17. https://doi.org/10.23638/LMCS-17(1:17)2021
-
Bergstra, J. A., Ponse, A., & Staudt, D. J. C. (2021). Non-commutative propositional logic with short-circuit evaluation. Journal of Applied Non-Classical Logics, 31(3-4), 234-278. https://doi.org/10.1080/11663081.2021.2010954
-
Bergstra, J. A., & Ponse, A. (2021). Division by zero in common meadows. (v4 ed.) ArXiv. https://doi.org/10.48550/arXiv.1406.6878
-
Bergstra, J. A., & Ponse, A. (2020). Arithmetical datatypes with true fractions. Acta Informatica, 57(3-5), 385-402. https://doi.org/10.1007/s00236-019-00352-8
-
Bergstra, J. A., & Ponse, A. (2019). Division by zero in common meadows. (v3 ed.) ArXiv. https://doi.org/10.48550/arXiv.1406.6878
-
Bergstra, J. A., Ponse, A., & Staudt, D. J. C. (2018). Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant. ArXiv. https://arxiv.org/abs/1810.02142
-
Ponse, A., & Staudt, D. J. C. (2018). An independent axiomatisation for free short-circuit logic. Journal of Applied Non-Classical Logics, 28(1), 35-71. https://doi.org/10.1080/11663081.2018.1448637
-
Bergstra, J. A., & Ponse, A. (2017). Probability Functions in the Context of Signed Involutive Meadows: Extended Abstract. In P. James, & M. Roggenbach (Eds.), Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers (pp. 73–87). (Lecture Notes in Computer Science; Vol. 10644). Springer. https://doi.org/10.1007/978-3-319-72044-9_6
-
Ponse, A., & Staudt, D. J. C. (2017). An independent axiomatization for free short-circuit logic. (1 ed.) Section Theory of Computer Science, University of Amsterdam. https://arxiv.org/abs/1707.05718v1
Page 1 of 11