Notre Dame Journal of Formal Logic

457	--	481	Timothy Williamson. First-order logics for comparative similarity
482	--	496	David Pearce, Heinrich Wansing. On the methodology of possible worlds semantics. I. Correspondence theory
497	--	509	Elias Dahlhaus, Amos Israeli, Johann A. Makowsky. On the existence of polynomial time algorithms for interpolation problems in propositional logic
510	--	519	Claro R. Ceniza. Material implication and entailment
520	--	529	Mark Lance. On the logic of contingent relevant implication: a conceptual incoherence in the intuitive interpretation of R
530	--	542	Daniel Dzierzgowski. Many-sorted elementary equivalence
543	--	552	Kathleen Johnson Wu. A basic free logic
553	--	562	Thomas E. Patton. On begging the question "Who is N?"
563	--	568	Branislav R. Boricic. On certain normalizable natural deduction formulations of some propositional intermediate logics
569	--	573	Gary P. Shannon. Equivalent versions of a weak form of the axiom of choice
574	--	578	J. Zimbarg Sobrinho. Definability in self-referential systems
579	--	581	Djordje Cubric. There are denumerably many ternary intuitionistic Sheffer functions

External Links