Journal: Notre Dame Journal of Formal Logic

Volume 30, Issue 3

313 -- 0Michael Detlefsen. Introduction
315 -- 342Johan van Benthem. Logical Constants Across Varying Types
343 -- 361Michael Byrd. Russell, Logicism, and the Choice of Logical Constants
362 -- 381Kosta Dosen. Logical Constants as Punctuation Marks
382 -- 389George Englebretsen. Formatives
390 -- 400William G. Lycan. Logical Constants and the Glory of Truth-Conditional Semantics
401 -- 419Tim McCarthy. Logical Form and Radical Interpretation
420 -- 441Grigori Mints. The Completeness of Provable Realizability
442 -- 458Jan M. Smith. Propositional Functions and Families of Types
459 -- 484Neil Tennant. Truth Table Logic, with a Survey of Embeddability Results