prindi

Peirce's sequent proofs of distributivity

autor
Ma, Minghui
Pietarinen, Ahti-Veikko
vastutusandmed
Minghui Ma and Ahti-Veikko Pietarinen
allikas
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
2017
leheküljed
p. 168-182
seeria-sari
Lecture notes in computer science ; 10119
konverentsi nimetus, aeg
Logic and Its Applications, 7th Indian Conference, ICLA 2017, 5-7 January 2017
konverentsi toimumispaik
Kanpur, India
leitav
https://doi.org/10.1007/978-3-662-54069-5_13
märksõna
loogika
tõestused
algebra
Boole'i funktsioonid
Scopus
Conference proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q2
kategooria (üld)
Computer science
Mathematics
kategooria (alam)
Computer science. General computer science
Mathematics. Theoretical computer science
tema kohta
Peirce, Charles Sanders, 1839-1914
võtmesõna
Peirce's rule
distributivity
sequent calculus
alpha graphs
ISSN
0302-9743
ISBN
978-3-662-54068-8
märkused
Bibliogr.: 31 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise
Ma, M., Pietarinen, A.-V. Peirce's sequent proofs of distributivity // Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings. Berlin : Springer, 2017. p. 168-182. (Lecture notes in computer science ; 10119). https://doi.org/10.1007/978-3-662-54069-5_13