Notre Dame Journal of Formal Logic

1	--	17	John P. Burgess, Allen Hazen. Predicative Logic and Formal Arithmetic
18	--	46	Wim Ruitenburg. Basic Predicate Calculus
47	--	73	Alexander Bochman. Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness
74	--	93	Xuegang Wang, Peter Mott. A Variant of Thomason s First-Order Logic CF Based on Situations
94	--	113	H. Naruse, Bayu Surarso, H. Ono. A Syntactic Approach to Maksimova s Principle of Variable Separation for some Substructural Logics
114	--	127	Arthur Sullivan. Singular Propositions and Singular Thoughts
128	--	134	Timothy Williamson. Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses
135	--	139	Jean-Yves Béziau. Idempotent Full Paraconsistent Negations are not Algebraizable
140	--	148	James H. Schmerl. Recursive Models and the Divisibility Poset
149	--	155	Aladdin M. Yaqub. Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth

External Links