Alexandra Shlapentokh A Diophantine Definition of Rational Integers over Some Rings of Algebraic Numbers. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:299-321 [Journal]
Margarita Otero Generic Models of the Theory of Normal Z-Rings. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:322-331 [Journal]
Michael C. Laskowski The Categoricity Spectrum of Pseudo-elementary Classes. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:332-347 [Journal]
Mitio Takano Cut-Free Systems for Three-Valued Modal Logics. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:359-368 [Journal]
Ian P. Gent A Sequent- or Tableau-style System for Lewis's Counterfactual Logic VC. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:369-382 [Journal]
Heikki Tuuri Relative Speration Theorems for Sigmak+k. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:383-401 [Journal]
Greg Restall A Note on Naive Set Theory in LP. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:422-432 [Journal]
G. C. Nelson Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:433-441 [Journal]
Steve Giambrone Real Reduced Models for Relevant Logics without WI. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:442-449 [Journal]
George Weaver Unifying Some Modifications of the Henkin Construction. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:3, pp:450-464 [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
