Errol P. Martin

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

Collaborative distances:

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

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