Proof tableau formulations of some first-order relevant ortho-logics

Bulletin of the Section of Logic, Tom 13, Numer 4 (1984) s. 233-239
Michael A. McRobbie, Nuel D. Belnap

 

do góry