Results 31 to 40 of about 58 (41)
Some of the next articles are maybe not open access.
On proving functional incompleteness in symbolic logic classes.
Notre Dame Journal of Formal Logic, 1988exaly
A simplification procedure for alternational normal schemata.
Notre Dame Journal of Formal Logic, 1979exaly
The connective of necessity of modal logic ${\rm S}5$ is metalogical.
Notre Dame Journal of Formal Logic, 1983exaly
Constructing sequent rules for generalized propositional logics.
Notre Dame Journal of Formal Logic, 1984exaly
The expected complexity of analytic tableaux analyses in propositional calculus.
Notre Dame Journal of Formal Logic, 1982exaly