Conditional Logic as a Short-Circuit Logic

Jan A. Bergstra, Alban Ponse. Conditional Logic as a Short-Circuit Logic. Sci. Ann. Cuza Univ., 35(2), 2025. [doi]

Abstract

Abstract is missing.