论文信息 - Two Extensions of the Structurally Free Logic LC* - 字舞流文

Two Extensions of the Structurally Free Logic LC*

Katalin Bimbó | J. Michael Dunn

[1] Robert K. Meyer,et al. Combinators and Structurally Free Logic , 1997, Log. J. IGPL.

[2] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .