- Augustín Rayo, Gabriel Uzquiano:
Toward a Theory of Second-Order Consequence. Notre Dame J. Formal Log. 40(3): 315-325 (1999) - Allard M. Tamminga, Koji Tanaka:
A Natural Deduction System for First Degree Entailment. Notre Dame J. Formal Log. 40(2): 258-272 (1999) - Yoshihito Tanaka:
Kripke Completeness of Infinitary Predicate Multimodal Logics. Notre Dame J. Formal Log. 40(3): 326-340 (1999) - Francesc Tomàs:
An Open Formalism against Incompleteness. Notre Dame J. Formal Log. 40(2): 207-226 (1999) - Albert Visser:
Rules and Arithmetics. Notre Dame J. Formal Log. 40(1): 116-140 (1999) - Mladen Vukovic:
The Principles of Interpretability. Notre Dame J. Formal Log. 40(2): 227-235 (1999) - Michael White:
Incommensurables and Incomparables: On the Conceptual Status and the Philosophical Use of Hyperreal Numbers. Notre Dame J. Formal Log. 40(3): 420-446 (1999) - Peter W. Woodruff, Terence Parsons:
Set Theory with Indeterminacy of Identity. Notre Dame J. Formal Log. 40(4): 473-495 (1999) - Crispin Wright:
Is Hume's Principle Analytic? Notre Dame J. Formal Log. 40(1): 6-30 (1999) - Byeong-Uk Yi:
Descending Chains and the Contextualist Approach to Semantic Paradoxes. Notre Dame J. Formal Log. 40(4): 554-567 (1999) - Evgeni E. Zolin:
Completeness and Definability in the Logic of Noncontingency. Notre Dame J. Formal Log. 40(4): 533-547 (1999)