Peirce's calculi for classical propositional logic
author
Ma, Minghui
Pietarinen, Ahti-Veikko
statement of authorship
Minghui Ma, Ahti-Veikko Pietarinen
source
The review of symbolic logic
publisher
Cambridge University Press
journal volume number month
Vol. 13, Issue 3
year of publication
2020
pages
p. 509 - 540
url
https://doi.org/10.1017/S1755020318000187
subject term
loogika
about the person
Peirce, Charles Sanders, 1839-1914
keyword
Peirce
algebra of logic
Boolean algebra
sequent calculus
illation
consequence
alpha graphs
ISSN
1755-0203
notes
Bibliogr.: 65 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Arts and humanities
Kunst ja humanitaarteadused
Mathematics
Matemaatika
category (sub)
Arts and humanities. Philosophy
Kunst ja humanitaarteadused. Filosoofia
Mathematics. Mathematics (miscellaneous)
Matemaatika. Matemaatika (mitmesugused)
Mathematics. Logic
Matemaatika. Loogika
quartile
Q2
TalTech department
Ragnar Nurkse innovatsiooni ja valitsemise instituut
language
inglise
Reserch Group
Philosophy of science and technology