Results 21 to 30 of about 35 (33)
Some of the next articles are maybe not open access.
De Finetti Coherence and Logical Consistency
Notre Dame Journal of Formal Logic, 2009Morris L Eaton, William D Sudderth
exaly
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
The expected complexity of analytic tableaux analyses in propositional calculus.
Notre Dame Journal of Formal Logic, 1982exaly