Notre Dame Journal of Formal Logic

609	--	638	John Corcoran, Susan Wood. Boole's criteria for validity and invalidity
639	--	655	Charles B. Daniels, James B. Freeman. An analysis of the subjunctive conditional
656	--	658	Russell W. Myers. Complexity of model-theoretic notions
659	--	671	William H. Hanson. First-degree entailments and information
672	--	678	Jean Porte. Congruences in Lemmon's S0.5
679	--	682	Czeslaw Lejewski. Postscript: "A note concerning the notion of mereological class"
683	--	684	K. E. Pledger. Location of some modal systems
685	--	693	Mario Coppo, Mariangiola Dezani-Ciancaglini. An extension of the basic functionality theory for the λ-calculus
694	--	700	Chris Mortensen. 1 is trivial
701	--	707	Aris Noah. Predicate-functors and the limits of decidability in logic
708	--	710	Harry Gonshor. Number theory for the ordinals with a new definition for multiplication
711	--	727	Eugenio Giovanni Omodeo. ν
728	--	0	Jonathan P. Seldin. A second corrigendum to my paper: "Note on definitional reductions"

481	--	500	Nino B. Cocchiarella. Nominalism and conceptualism as predicative second-order theories of predication
501	--	508	Charles E. Hughes, David W. Straight. Word problems for bidirectional, single-premise Post systems
509	--	517	Diderik Batens. A completeness-proof method for extensions of the implicational fragment of the propositional calculus
518	--	520	Richard Statman. Solution to a problem of Chang and Lee
521	--	535	Michael Katz. Inexact geometry
536	--	538	Herbert E. Hendry. Functional completeness and non-Łukasiewiczian truth functions
539	--	548	Robert K. Meyer. Career induction for quantifiers
549	--	571	Robert J. Cosgrove. A three-valued free logic for presuppositional languages
572	--	576	Ermanno Bencivenga. A weak free logic with the existence sign
577	--	584	George Edward Hughes. Equivalence relations and S5
585	--	590	Robert J. Titiev. On self-sustenance in systems of epistemic logic
591	--	601	Michael Byrd. Eventual permanence
602	--	608	George Englebretsen. Analytics

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

1	--	32	John Carson Simms. *
33	--	44	Hubert H. Schneider. Substitutions for predicate variables and functional variables
45	--	50	Philip Hugly. Reflections on an extensionality theorem
51	--	77	Peter E. Lauer. Towards an axiomatization of value theory
78	--	88	John Bryant. The logic of relative modality and the paradoxes of deontic logic
89	--	100	Patrice Bailhache. Several possible systems of deontic weak and strong norms
101	--	110	George Englebretsen. On propositional form
111	--	118	David W. Bennett. Junctions
119	--	130	M. Richard Diaz. Deductive completeness and conditionalization in systems of weak implication
131	--	134	Jan A. Bergstra. Discourse between processes
135	--	140	T. A. McKee. Generalized equivalence and the foundations of quasigroups
141	--	147	T. A. McKee. Generalized equivalence and the phraseology of configuration theorems
148	--	154	D. Michael Miller, Jon C. Muzio. A class of two-place three-valued unary generators
155	--	165	John A. Paulos. A model-theoretic explication of the theses of Kuhn and Whorf
166	--	174	William H. Friedman. Calculemus
175	--	178	Kathleen Johnson Wu. On a tableau rule for identity
179	--	181	Charles Silver. A simple strong completeness proof for sentential logic
182	--	188	David E. Cooper. Referential occurrence
189	--	191	Robert W. Murungi. Lewis' postulate of existence disarmed

External Links