The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen-Reference-Cited by-同舟云学术

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

Published:2016 Issue: Volume: Page:35-97
ISSN:2297-0282
Container-title:Studies in Universal Logic
language:
Short-container-title:

Author:

Anellis Irving H.,Abeles Francine F.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-24756-4_3

Reference367 articles.

1. F.F. Abeles, Lewis Carroll’s method of trees: its origins in Studies in Logic. Mod. Log. 1, 25–35 (1990)

2. F.F. Abeles, Herbrand’s fundamental theorem and the beginning of logic programming. Mod. Log. 4, 63–73 (1994)

3. F.F. Abeles, Lewis Carroll’s formal logic. Hist. Philos. Log. 26, 33–46 (2005)

4. F.F. Abeles, From the tree method in modern logic to the beginning of automated theorem proving, in From Calculus to Computers: Using 200 Years of Mathematics History in the Teaching of Mathematics, ed. by A. Shell-Gellasch, D. Jardine (Mathematical Association of America, Washington, 2006), pp. 149–160

5. F.F. Abeles, Lewis Carroll’s visual logic. Hist. Philos. Log. 28, 1–17 (2007)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Diagrammatic and Modal Dimensions of the Syllogisms of Hegel and Peirce;Axioms;2022-12-07

2. Hierarchy in Knowledge Systems;KNOWLEDGE ORGANIZATION;2022

3. “Logic of the Future” as C.S. Peirce Understood It (First Volumes of Peirceana);Epistemology & Philosophy of Science;2020

4. Reductionism in Peirce’s sign classifications and its remedy;Semiotica;2019-05-07

5. Clifford and Sylvester on the Development of Peirce’s Matrix Formulation of the Algebra of Relations, 1870–1882;Proceedings of the Canadian Society for History and Philosophy of Mathematics/La Société Canadienne d’Histoire et de Philosophie des Mathématiques;2016