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
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
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