Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence Implementing the ‘Fool’s model’ of combinatory logic. (English) Zbl 0749.03007 J. Autom. Reasoning 7, No. 4, 597-630 (1991). Reviewer: H.J.Ohlbach (Saarbrücken) MSC: 03B40 03B35 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Mints, Grigori; Tammet, Tanel Condensed detachment is complete for relevance logic: A computer-aided proof. (English) Zbl 0751.03011 J. Autom. Reasoning 7, No. 4, 587-596 (1991). Reviewer: G.Mints (Stanford) MSC: 03B47 03B35 68T15 03-04 × Cite Format Result Cite Review PDF Full Text: DOI