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
ilmumisaasta
leheküljed
p. 168-182
seeria-sari
Lecture notes in computer science ; 10119
võtmesõna
Peirce's rule
distributivity
ISSN
0302-9743
ISBN
978-3-662-54068-8
märkused
Bibliogr.: 31 ref
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-Verlag, 2017. p. 168-182. (Lecture notes in computer science ; 10119). https://doi.org/10.1007/978-3-662-54069-5_13