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
https://www.scopus.com/sourceid/19800188078
https://www.scopus.com/record/display.uri?eid=2-s2.0-85051701593&origin=inward&txGid=34c14f3bdac1edbd87754fdcb228892f
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=REV%20SYMB%20LOGIC&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000556822700004
kategooria (üld)
Arts and humanities
Kunst ja humanitaarteadused
Mathematics
Matemaatika
kategooria (alam)
Arts and humanities. Philosophy
Kunst ja humanitaarteadused. Filosoofia
Mathematics. Mathematics (miscellaneous)
Matemaatika. Matemaatika (mitmesugused)
Mathematics. Logic
Matemaatika. Loogika
kvartiil
Q2
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise
Uurimisrühm
Teadus- ja tehnoloogia filosoofia