Peirce's sequent proofs of distributivity
author
Ma, Minghui
Pietarinen, Ahti-Veikko
statement of authorship
Minghui Ma and Ahti-Veikko Pietarinen
source
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
location of publication
Berlin
publisher
Springer
year of publication
2017
pages
p. 168-182
series
Lecture notes in computer science ; 10119
conference name, date
Logic and Its Applications, 7th Indian Conference, ICLA 2017, 5-7 January 2017
conference location
Kanpur, India
url
https://doi.org/10.1007/978-3-662-54069-5_13
subject term
loogika
tõestused
algebra
Boole'i funktsioonid
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85009818542&origin=inward&txGid=41e571b3ee346514d35cb170cb79338d
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000405784700013
quartile
Q2
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
about the person
Peirce, Charles Sanders, 1839-1914
keyword
Peirce's rule
distributivity
sequent calculus
alpha graphs
ISSN
0302-9743
ISBN
978-3-662-54068-8
notes
Bibliogr.: 31 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
Ragnar Nurkse innovatsiooni ja valitsemise instituut
language
inglise