3 citations · 22 across the 56 of their papers we have counts for
Showing 2015 · math.LOShow all
4 papers · 2 filters
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.