Errol P. Martin

According to our database, Errol P. Martin authored at least 6 papers between 1982 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

S (for Syllogism) Revisited: "The Revolution Devours its Children".

Robert K. Meyer, Errol P. Martin

Australas. J. Log., 2019

1988

Further Results on Proof Theories For Semilattice Logics.

Robert K. Meyer, Errol P. Martin, Steve Giambrone, Alasdair Urquhart

Math. Log. Q., 1988

Logical Matrix Generation and Testing.

Peter K. Malkin, Errol P. Martin

Proceedings of the 9th International Conference on Automated Deduction, 1988

1986

Logic on the Australian plan.

Robert K. Meyer, Errol P. Martin

J. Philos. Log., 1986

1983

The fundamental S-theorem - a corollary.

Robert Dwyer, Errol P. Martin, Robert K. Meyer

Notre Dame J. Formal Log., 1983

1982

Solution to the P-W Problem.

Errol P. Martin, Robert K. Meyer

J. Symb. Log., 1982