Errol P. Martin

Publication Activity (10 Years)

Years Active: 1982-1988
Publications (10 Years): 0

Publications

Peter K. Malkin, Errol P. Martin
Logical Matrix Generation and Testing. CADE (1988)
Robert K. Meyer, Errol P. Martin, Steve Giambrone, Alasdair Urquhart
Further Results on Proof Theories For Semilattice Logics. Math. Log. Q. 34 (4) (1988)
Robert K. Meyer, Errol P. Martin
Logic on the Australian plan. J. Philos. Log. 15 (3) (1986)
Robert Dwyer, Errol P. Martin, Robert K. Meyer
The fundamental S-theorem - a corollary. Notre Dame J. Formal Log. 24 (4) (1983)
Errol P. Martin, Robert K. Meyer
Solution to the P-W Problem. J. Symb. Log. 47 (4) (1982)