Peirce's Logical Graphs for Boolean Algebras and Distributive Lattices.

Peirce's logical graphs provide a completely new diagrammatic logical syntax, which in the present paper is contrasted with the standard linear syntax for classical propositional logic. Peirce's transformation rules of alpha graphs are shown to form a deep inference system for classical propositiona...

Descripción completa

Detalles Bibliográficos

Publicado en:	Transactions of the Charles S. Peirce Society Vol. 54; no. 3; pp. 320 - 341
Autor principal:	Ma, Minghui
Formato:	Artículo
Publicado:	Indiana University Press Summer2018
Materias:	Peirce, Charles S. (Charles Sanders), 1839-1914 Syntax (Logic) Boolean algebra Distributive lattices Inferential statistics Sequent calculus Graph theory
Acceso en línea:	Ver este registro en EBSCOhost