Journal: Notre Dame Journal of Formal Logic

Volume 21, Issue 2

193 -- 215Leonard Goddard. Significance, necessity, and verification
216 -- 228Craig Kalicki. Infinitary propositional intuitionistic logic
229 -- 242Joseph A. Novak. Some recent work on the assertoric syllogistic
243 -- 250Stanley J. Krolikoski. On substitution for variable one-place functors
251 -- 262Jack C. Boudreaux. Frames versus minimally restricted structures
263 -- 272Ross T. Brady. The logic of significance and context. Vol. I [Halsted, New York, 1973]
273 -- 276Bruce M. Horowitz. Constructively nonpartial recursive functions
277 -- 292Thomas H. Payne. General computability
293 -- 315Rolf Schock. A complete system of indexical logic
316 -- 318Laurence S. Gagnon. Three theories of dialectic
319 -- 345Ross T. Brady. Significance range theory
346 -- 350Jean Porte. Simplifying the axioms of the predicate calculus
351 -- 364Rolf Schock. A natural deduction system of indexical logic
365 -- 379Léon Birnbaum. n-polar logic of classes
380 -- 384Martin W. Bunder. Significance and illative combinatory logics
385 -- 414Ross T. Brady. A theory of classes and individuals based on a 3-valued significance logic
415 -- 428John Evenden. Generalised logic. II
429 -- 448Wlodzimierz Rabinowicz. Some remarks about the family K of modal systems
449 -- 466P. Tosi. Normal derivability and first-order arithmetic
467 -- 479J. Almog. Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions