We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the
calculus of binary relations that has the same expressivity as first order logic and comes with …

This final volume of the three-volume, five-book edition of the Logic of the Future series on
Peirce's unpublished writings on Existential Graphs is divided into two parts, in which the …

A graphical approach to intuitionistic propositional logic is presented. The system GrIn is a
deep inference system and it is formulated in terms of Peirce's existential graphs. GrIn is …

Some have suggested that images can be arguments. Images can certainly bolster the
acceptability of individual premises. We worry, though, that the static nature of images …

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S.
Peirce's most important late writings. Among the most influential American thinkers, Peirce …

Peirce's graphical logic of Existential Graphs (eg s) has no specific sign for assertion,
although the notion is used virtually everywhere in Peirce's logical theories. We outline the …

Peirce introduced the Alpha part of the logic of Existential Graphs (eg s) as a diagrammatic
syntax and graphical system corresponding to classical propositional logic. The logic of …

The logic of assertive graphs (AGs) is a modification of Peirce's logic of existential graphs
(EGs), which is intuitionistic and which takes assertions as its explicit object of study. In this …

Peirce wrote in late 1901 a text on formal logic using a special Dragon-Head and Dragon-
Tail notation in order to express the relation of logical consequence and its properties …

The mainstay of Peirce's diagrammatic reasoning is deduction, for which he developed a
comprehensive family of graphical logics termed existential graphs. He thought, however …