prindi

Proof analysis of Peirce's alpha system of graphs

autor
Ma, Minghui
Pietarinen, Ahti-Veikko
vastutusandmed
Minghui Ma, Ahti-Veikko Pietarinen
allikas
Studia logica
kirjastus/väljaandja
Springer
ajakirja aastakäik number kuu
vol. 105, 3
ilmumisaasta
2017
leheküljed
p. 625-647 : ill
leitav
https://doi.org/10.1007/s11225-016-9703-y
märksõna
loogika
tõestused
tõestuste teooria
graafid
tema kohta
Peirce, Charles Sanders, 1839-1914
võtmesõna
Peirce
alpha graph
deep inference
sequent calculus
ISSN
0039-3215
märkused
Bibliogr.: 20 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Kunst ja humanitaarteadused
Matemaatika
kategooria (alam)
Kunst ja humanitaarteadused. Teadusajalugu ja -filosoofia
Matemaatika. Loogika
kvartiil
Q2
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise
Ma, M., Pietarinen, A-.V. Proof analysis of Peirce's alpha system of graphs // Studia logica (2017) vol. 105, 3, p. 625-647 : ill. https://doi.org/10.1007/s11225-016-9703-y