3 citations · 22 across the 56 of their papers we have counts for
10 papers · 1 filter
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.
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.
The Peirce axiom scheme and suprema
P. L. Robinson
We present equivalents to the Peirce axiom scheme and highlight its relevance for pairwise suprema.
Implicational Completeness
P. L. Robinson
We present a proof of completeness for the implicational propositional calculus, based on a variant of the Lindenbaum procedure.
Index theory for partial-bijections
P. L. Robinson
We offer streamlined proofs of fundamental theorems regarding the index theory for partial self-maps of an infinite set that are bijective between cofinite subsets.
Fredholm theory for cofinite sets
P. L. Robinson
We investigate two ways in which self-maps of an infinite set may be close to bijections; our investigation generates a -valued index theory and a corresponding extensi…
Projective Space: Reguli and Projectivity
P. L. Robinson
We investigate an `assumption of projectivity' that is appropriate to the self-dual axiomatic formulation of three-dimensional projective space.
Projective Space: Lines and Duality
P. L. Robinson
We offer an axiomatic presentation of three-dimensional projective space that adopts the line as its fundamental element and renders automatic the principle of duality.
Cayley-Sylvester invariants and the Hamilton equations
P. L. Robinson
We note implications of the Cayley-Sylvester theory of invariants and covariants for the Hamilton equations generated by cubic and quartic Hamiltonian functions.
Cubic Hamiltonians
P. L. Robinson
We determine a precise necessary and sufficient condition for completeness of the Hamiltonian vector field associated to a homogeneous cubic polynomial on a symplectic plane.