Truth diagrams (TDs) are introduced as a novel graphical representation for propositional logic (PL). To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive ...

In this paper we investigate some basic semantic and syntactic conditions characterizing the equivalence connective. In particular we define three basic classes of algebras: the class of weak ...

Figure 1: Molecular implementation of propositional logic statements and deductions. Using this system one can specify logic programs with facts and rules as well as various queries as a text file. A ...

Logic is among the oldest and most foundational of the university disciplines. The goal is to equip students with most general possible framework for sound and rigorous reasoning — one that works ...