paper

The Peirce axiom scheme and suprema

arXiv:1511.07074

Abstract

We present equivalents to the Peirce axiom scheme and highlight its relevance for pairwise suprema.