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
name of 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
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Arts and humanities
en
Kunst ja humanitaarteadused
et
Mathematics
en
Matemaatika
et
category (sub)
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Ü department
Ragnar Nurkse innovatsiooni ja valitsemise instituut
language
inglise
Uurimisrühm
Philosophy of science and technology