Arnon Avron Relevance and Paraconsistency - A New Approach, Part II: The Formal Systems. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:169-202 [Journal]
Krister Segerberg Validity and Satisfaction in Imperative Logic. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:203-221 [Journal]
John Hawthorn Natural Deduction in Normal Modal Logic. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:263-273 [Journal]
Chris Mortensen Models for Inconsistent and Incomplete Differential Calculus. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:274-285 [Journal]
Timothy Williamson Verification, Falsification, and Cancellation in KT. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:286-290 [Journal]
William Demopoulos The Homogeneous Form of Logic Programs with Equality. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:291-303 [Journal]
M. E. Adams, R. Cignolli A Note on the Axiomatization of Equational Classes of n-Valued Lukasiewicz Algebras. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:304-307 [Journal]
Balázs Biró On Generalizations of a Theorem of Vaught. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:330-336 [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
