full record print

Peirce's sequent proofs of distributivity

author
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
year of publication
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
name of the person
ISSN
0302-9743
ISBN
978-3-662-54068-8
notes
Bibliogr.: 31 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
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