In his papers on ''[[qualitative logic]]'', ''[[entitative graph]]s'', and ''[[existential graph]]s'', Peirce developed several versions of a graphical [[formal system|formalism]], or a graph-theoretic [[formal language]], designed to be interpreted for logic. | In his papers on ''[[qualitative logic]]'', ''[[entitative graph]]s'', and ''[[existential graph]]s'', Peirce developed several versions of a graphical [[formal system|formalism]], or a graph-theoretic [[formal language]], designed to be interpreted for logic. |