Proof analysis of Peirce's alpha system of graphs
author
Ma, Minghui
Pietarinen, Ahti-Veikko
statement of authorship
Minghui Ma, Ahti-Veikko Pietarinen
source
Studia logica
publisher
Springer
journal volume number month
vol. 105, 3
year of publication
2017
pages
p. 625-647 : ill
url
https://doi.org/10.1007/s11225-016-9703-y
subject term
loogika
tõestused
tõestuste teooria
graafid
about the person
Peirce, Charles Sanders, 1839-1914
keyword
Peirce
alpha graph
deep inference
sequent calculus
ISSN
0039-3215
notes
Bibliogr.: 20 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Arts and humanities
Kunst ja humanitaarteadused
Mathematics
Matemaatika
category (sub)
Arts and humanities. History and philosophy of science
Kunst ja humanitaarteadused. Teadusajalugu ja -filosoofia
Mathematics. Logic
Matemaatika. Loogika
quartile
Q2
TalTech department
Ragnar Nurkse innovatsiooni ja valitsemise instituut
language
inglise