Peirce's Sequent Proofs of Distributivity

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

The leading principle (Peirce's Rule) of Peirce's calculus {\bf PC} is that of residuation. Thus the law of distributivity, which Peirce states but does not prove in 1880, can be proved using the rule in {\bf PC}. We also give a shorter proof in his 1896 alpha system and remark on the main historical findings, including the fact that Peirce's preferred method was to present his PC as a sequent calculus.
Original languageEnglish
Pages (from-to)168--182
JournalLecture Notes in Computer Science
Volume10119
Publication statusPublished - 2017

Fingerprint

Distributivity
Residuation
Sequent Calculus
Calculus

Cite this

Peirce's Sequent Proofs of Distributivity. / Pietarinen, Ahti-Veikko; Ma, Minghui.

In: Lecture Notes in Computer Science, Vol. 10119, 2017, p. 168--182.

Research output: Contribution to journalArticle

@article{ebd10b8d194047b3b37b1e7652558cb9,
title = "Peirce's Sequent Proofs of Distributivity",
abstract = "The leading principle (Peirce's Rule) of Peirce's calculus {\bf PC} is that of residuation. Thus the law of distributivity, which Peirce states but does not prove in 1880, can be proved using the rule in {\bf PC}. We also give a shorter proof in his 1896 alpha system and remark on the main historical findings, including the fact that Peirce's preferred method was to present his PC as a sequent calculus.",
author = "Ahti-Veikko Pietarinen and Minghui Ma",
year = "2017",
language = "English",
volume = "10119",
pages = "168----182",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - Peirce's Sequent Proofs of Distributivity

AU - Pietarinen, Ahti-Veikko

AU - Ma, Minghui

PY - 2017

Y1 - 2017

N2 - The leading principle (Peirce's Rule) of Peirce's calculus {\bf PC} is that of residuation. Thus the law of distributivity, which Peirce states but does not prove in 1880, can be proved using the rule in {\bf PC}. We also give a shorter proof in his 1896 alpha system and remark on the main historical findings, including the fact that Peirce's preferred method was to present his PC as a sequent calculus.

AB - The leading principle (Peirce's Rule) of Peirce's calculus {\bf PC} is that of residuation. Thus the law of distributivity, which Peirce states but does not prove in 1880, can be proved using the rule in {\bf PC}. We also give a shorter proof in his 1896 alpha system and remark on the main historical findings, including the fact that Peirce's preferred method was to present his PC as a sequent calculus.

M3 - Article

VL - 10119

SP - 168

EP - 182

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -