In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be reexpressed as a ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

A presentation is provided of a structural approach for the concur rent teaching of introductory propositional calculus and set theory. The existence of isomorphism is shown between each law (or ...

We argue that the propositional and link-based approaches to human contingency learning represent different levels of analysis because propositional reasoning requires a basis, which is plausibly ...

Helper classes and methods for calculating various operations and testing properties related to sets, relations and mappings. DISCLAIMER: This program is based on the course Logic and Set Theory 2IT60 ...