print

Peirce's sequent proofs of distributivity

author
Ma, Minghui
Pietarinen, Ahti-Veikko
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
Springer-Verlag
year of publication
2017
pages
p. 168-182
series
Lecture notes in computer science ; 10119
url
https://doi.org/10.1007/978-3-662-54069-5_13
subject term
loogika
tõestused
algebra
Boole'i funktsioonid
name of the person
Peirce, Charles Sanders, 1839-1914
keyword
Peirce's rule
distributivity
sequent calculus
alpha graphs
ISSN
0302-9743
ISBN
978-3-662-54068-8
notes
Bibliogr.: 31 ref
TTÜ department
Ragnar Nurkse innovatsiooni ja valitsemise instituut
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-Verlag, 2017. p. 168-182. (Lecture notes in computer science ; 10119). https://doi.org/10.1007/978-3-662-54069-5_13