Peirce's calculi for classical propositional logic
autor
Ma, Minghui
Pietarinen, Ahti-Veikko
vastutusandmed
Minghui Ma, Ahti-Veikko Pietarinen
allikas
The review of symbolic logic
kirjastus/väljaandja
Cambridge University Press
ajakirja aastakäik number kuu
Vol. 13, Issue 3
ilmumisaasta
2020
leheküljed
p. 509 - 540
leitav
https://doi.org/10.1017/S1755020318000187
märksõna
loogika
tema kohta
Peirce, Charles Sanders, 1839-1914
võtmesõna
Peirce
algebra of logic
Boolean algebra
sequent calculus
illation
consequence
alpha graphs
ISSN
1755-0203
märkused
Bibliogr.: 65 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
en
Kunst ja humanitaarteadused
et
Mathematics
en
Matemaatika
et
kategooria (alam)
Arts and humanities. Philosophy
en
Kunst ja humanitaarteadused. Filosoofia
et
Mathematics. Mathematics (miscellaneous)
en
Matemaatika. Matemaatika (mitmesugused)
et
Mathematics. Logic
en
Matemaatika. Loogika
et
kvartiil
Q2
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise
Uurimisrühm
Teadus- ja tehnoloogia filosoofia