TalTech publikatsioonid
pealdis Ma, M., Pietarinen, A.-V.
TTÜ struktuuriüksus Ragnar Nurkse innovatsiooni ja valitsemise instituut
maakood de
keel inglise
autor Ma, Minghui
Pietarinen, Ahti-Veikko
pealkiri Peirce's sequent proofs of distributivity
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-Verlag
ilmumisaasta 2017
leheküljed p. 168-182
seeria-sari Lecture notes in computer science ; 10119
märksõna loogika
tõestused
algebra
Boole'i funktsioonid
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
url https://doi.org/10.1007/978-3-662-54069-5_13