The Peirce axiom scheme and suprema

2015/11/22 by P. L. Robinson, Robinson, P. L.
Arts and Humanities · Mathematics · #03B05 #03B20 #Epistemology, Ethics, and Metaphysics #FOS: Mathematics #Logic (math.LO) #Philosophy and History of Science #Pragmatism in Philosophy and Education #math.LO #msc:03B05 #msc:03B20

paper · pdf · doi:10.48550/arxiv.1511.07074

arxiv created 2015/11/22 · openalex publication_date 2015/11/22 · arxiv updated 2015/11/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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

Related

• Charles Peirce on the Classification of Dyadic Relations and the Implications for Mathematical Logic
• On the equivalence of Playfair's axiom to the parallel postulate
• When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
• The calculus of neo-Peircean relations
• Diagrammatic Algebra of First Order Logic