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-Verlag
ilmumisaasta
2017
leheküljed
p. 168-182
seeria-sari
Lecture notes in computer science ; 10119
leitav
https://doi.org/10.1007/978-3-662-54069-5_13
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
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise