The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen

DOI10.1007/978-3-319-24756-4_3zbMath1418.03002OpenAlexW2477216186MaRDI QIDQ5224771

Francine F. Abeles, Irving H. Anellis

Publication date: 24 July 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24756-4_3

zbMATH Keywords

graphshistory of logicGentzentree methodDodgsonHertzdiagrammatic logicmathematics in the nineteenth centurymathematics in the twentieth centure Peirce

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items (2)

Clifford and Sylvester on the Development of Peirce’s Matrix Formulation of the Algebra of Relations, 1870–1882 ⋮ Boole’s Untruth Tables: The Formal Conditions of Meaning Before the Emergence of Propositional Logic

This page was built for publication: The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen