@dblp

Admissible rules, derivable rules, and extendible logistic systems.

. Notre Dame J. Formal Log., 15 (2): 265-278 (1974)

Links and resources

Tags