Results 31 to 33 of about 35 (33)
Some of the next articles are maybe not open access.
Constructing sequent rules for generalized propositional logics.
Notre Dame Journal of Formal Logic, 1984exaly
Classes of universal decision elements using negative substitutions.
Notre Dame Journal of Formal Logic, 1979exaly