Notre Dame Journal of Formal Logic

439	--	456	Gilles Dowek, Olivier Hermant. A Simple Proof that Super-Consistency Implies Cut Elimination
457	--	478	Giovanni Boniolo, Silvio Valentini. Objects: A Study in Kantian Formal Epistemology
479	--	489	Mingzhong Cai. Degrees of Relative Provability
491	--	509	Katalin Bimbó, J. Michael Dunn. New Consecution Calculi for $R^{t}_{\to}$
511	--	523	Silvia Barbina, Domenico Zambella. Generic Expansions of Countable Models
525	--	547	Rodrigo A. Freire. On Existence in Set Theory
549	--	556	Rohan French. Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants
557	--	570	Alexandre V. Borovik, Renling Jin, Mikhail G. Katz. An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals
571	--	580	M. Randall Holmes. The Usual Model Construction for NFU Preserves Information
581	--	598	Lloyd Humberstone. Minimally Congruential Contexts: Observations and Questions on Embedding E in K
599	--	605	Ehud Hrushovski, Anand Pillay, Pierre Simon. A Note on Generically Stable Measures and fsg Groups

External Links