Bergstra, Jan A.; Ponse, Alban; Staudt, Daan J. C. Non-commutative propositional logic with short-circuit evaluation. (English) Zbl 1515.03047 J. Appl. Non-Class. Log. 31, No. 3-4, 234-278 (2021). MSC: 03B05 03B70 PDFBibTeX XMLCite \textit{J. A. Bergstra} et al., J. Appl. Non-Class. Log. 31, No. 3--4, 234--278 (2021; Zbl 1515.03047) Full Text: DOI
Bergstra, Jan A.; Ponse, Alban Evaluation trees for proposition algebra. (English) Zbl 1444.03110 Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 44-61 (2015). MSC: 03B70 03G25 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{A. Ponse}, Lect. Notes Comput. Sci. 9360, 44--61 (2015; Zbl 1444.03110) Full Text: DOI arXiv
Bergstra, Jan A.; Ponse, Alban Proposition algebra and short-circuit logic. (English) Zbl 1354.03035 Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20–22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 15-31 (2012). MSC: 03B70 03B05 03G25 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{A. Ponse}, Lect. Notes Comput. Sci. 7141, 15--31 (2012; Zbl 1354.03035) Full Text: DOI
Bergstra, Jan A.; Ponse, Alban Proposition algebra. (English) Zbl 1352.03040 ACM Trans. Comput. Log. 12, No. 3, Article No. 21, 36 p. (2011). MSC: 03B70 03G25 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{A. Ponse}, ACM Trans. Comput. Log. 12, No. 3, Article No. 21, 36 p. (2011; Zbl 1352.03040) Full Text: DOI arXiv
Bergstra, Jan A.; Ponse, Alban Process algebra with four-valued logic. (English) Zbl 1036.68067 J. Appl. Non-Class. Log. 10, No. 1, 27-53 (2000). MSC: 68Q85 03B50 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{A. Ponse}, J. Appl. Non-Class. Log. 10, No. 1, 27--53 (2000; Zbl 1036.68067) Full Text: DOI Link
Bergstra, Jan A.; Ponse, Alban Bochvar-McCarthy logic and process algebra. (English) Zbl 0970.68115 Notre Dame J. Formal Logic 39, No. 4, 464-484 (1998). MSC: 68Q85 03B50 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{A. Ponse}, Notre Dame J. Formal Logic 39, No. 4, 464--484 (1998; Zbl 0970.68115) Full Text: DOI