activity
20122021
most citedProjective Space: Lines and Duality

3 citations · 22 across the 56 of their papers we have counts for

collaborators
Showing math.LOShow all

5 papers · 1 filter

math.LO2016

Classical theorems in the Implicational Propositional Calculus

P. L. Robinson

For formulas of the Implicational Propositional Calculus (IPC) that are theorems of the classical Propositional Calculus (PC) we show that PC proofs yield IPC proofs. As a conseque…

math.LO2015

Q-tableaux for Implicational Propositional Calculus

P. L. Robinson

We study -tableaux and axiom systems that they engender, producing a new proof that the Implicational Propositional Calculus is complete.

math.LO2015

Implicational Propositional Calculus: Tableaux and Completeness

P. L. Robinson

We discuss tableaux for the Implicational Propositional Calculus and show how they may be used to establish its completeness.

math.LO2015

The Peirce axiom scheme and suprema

P. L. Robinson

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

math.LO2015

Implicational Completeness

P. L. Robinson

We present a proof of completeness for the implicational propositional calculus, based on a variant of the Lindenbaum procedure.