Wyniki
-
Gentzen systems and decision procedures for relevant logics
Steve Giambrone
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 169-174 -
R+ is contained in T+
Robert K. Meyer, Steve Giambrone
Bulletin of the Section of Logic , 9 /1 (1980) s. 30-32