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)
Arts and humanities
Mathematics
kategooria (alam)
Arts and humanities. History and philosophy of science
Mathematics. Logic
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