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
https://www.scopus.com/sourceid/144951
https://www.scopus.com/record/display.uri?eid=2-s2.0-85006387005&origin=inward&txGid=4bd3baf46af92218b70cc2e4ed091c56
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=STUD%20LOGICA&year=2017
https://www.webofscience.com/wos/woscc/full-record/WOS:000401436800008
kategooria (üld)
Arts and humanities
Kunst ja humanitaarteadused
Mathematics
Matemaatika
kategooria (alam)
Arts and humanities. History and philosophy of science
Kunst ja humanitaarteadused. Teadusajalugu ja -filosoofia
Mathematics. Logic
Matemaatika. Loogika
kvartiil
Q2
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise