2016
DOI: 10.1007/978-3-319-24756-4_3
|View full text |Cite
|
Sign up to set email alerts
|

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

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
0
0
1

Year Published

2016
2016
2019
2019

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(1 citation statement)
references
References 84 publications
0
0
0
1
Order By: Relevance
“…Ответ будет зависеть от способа интерпретации ее синтаксических элементов. О теории графов можно говорить как о предшественнице теоретико-модельной и даже теоретико-игровых семантик (Hilpinen 1982); принцип ее работы напоминает и метод деревьев (Anellis, Abeles 2016). С другой стороны, теория напоминает и прототип натуральных исчислений (Sowa 2001) с их творческими возможностями поиска выводов.…”
Section: общее представление теорииunclassified
“…Ответ будет зависеть от способа интерпретации ее синтаксических элементов. О теории графов можно говорить как о предшественнице теоретико-модельной и даже теоретико-игровых семантик (Hilpinen 1982); принцип ее работы напоминает и метод деревьев (Anellis, Abeles 2016). С другой стороны, теория напоминает и прототип натуральных исчислений (Sowa 2001) с их творческими возможностями поиска выводов.…”
Section: общее представление теорииunclassified