Fred Sommers The World, the Facts, and Primary Logic. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:169-182 [Journal]
Frank O. Wagner Stable Groups, Mostly of Finite Exponent. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:183-192 [Journal]
Aris Noah Non-Classical Syllogistic Inference and the Method of Resolution. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:209-222 [Journal]
Bozena Piekart On Closed Elementary Cuts in Recursively Saturated Models of Peano Arithmetic. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:223-230 [Journal]
J. Roger Hindley BCK and BCI Logics, Condensed Detachment and the 2-Property. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:231-250 [Journal]
M. Gordon Beavers Extensions of the aleph0-Valued Lukasiewicz Propositional Logic. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:251-262 [Journal]
Giovanna Corsi Quantified Modal Logics of Positive Rational Numbers and Some Related Systems. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:263-283 [Journal]
György Serény Isomorphisms of Finite Cylindrical Set Algebras of Characteristic Zero. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:284-294 [Journal]
Anthony Bloesch A Tableau Style Proof System for Two Paraconsistent Logics. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:295-301 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP