Notre Dame Journal of Formal Logic - researchr journal

researchr

You are not signed in
Sign in
Sign up

417	--	425	Zarko Mijajlovic. Submodels and definable points in models of Peano arithmetic
426	--	430	I. L. Humberstone, J. F. A. K. van Benthem. Halldén-completeness by gluing of Kripke frames
431	--	449	Ross T. Brady. The simple consistency of a set theory based on the logic CSQ
450	--	472	Robert K. Meyer. -> matrices
473	--	481	Stephen Read. Burgess on relevance: a fallacy indeed
482	--	484	Leon Harkleroad. Manifolds allowing RET arithmetic
485	--	490	David Meredith 0002. Separating minimal, intuitionist, and classical logic
491	--	508	Leonard Goddard, Mark Johnston. The nature of reflexive paradoxes. I
509	--	516	Robert Dwyer, Errol P. Martin, Robert K. Meyer. The fundamental S-theorem - a corollary
517	--	526	Ieke Moerdijk. On the Freyd cover of a topos
527	--	536	Anand Pillay. 0-categoricity over a predicate

289	--	304	Hugues Leblanc, Charles G. Morgan. Probability theory, intuitionism, semantics, and the Dutch book argument
305	--	317	Norbert Brunner. The axiom of choice in topology
318	--	322	B. Jack Copeland. t
323	--	327	M. J. Cresswell. KM and the finite model property
328	--	336	Marienne Bhavani Thuraisingham. The concept of n-cylinder and its relationship to simple sets
337	--	345	Ralph H. Moon. Correction of the semantics for S4.03 and a note on literal disjunctive symmetry
346	--	352	I. L. Humberstone. Inaccessible worlds
353	--	356	Sabine Koppelberg, J. Donald Monk. Homogeneous Boolean algebras with very nonsymmetric subalgebras
357	--	366	E. J. Lowe. A simplification of the logic of conditionals
367	--	388	Alberto Zanardo. ν+1 of A. Bressan
389	--	394	Isabel Loureiro. Prime spectrum of a tetravalent modal algebra
395	--	398	Zoran Markovic. Some preservation results for classical and intuitionistic satisfiability in Kripke models
399	--	409	István Németi. The class of neat-reducts of cylindric algebras is not a variety but is closed with respect to HP
410	--	414	Zdzislaw Dywan. The connective of necessity of modal logic S5 is metalogical

161	--	180	Hugues Leblanc, Charles G. Morgan. Probabilistic semantics for intuitionistic logic
181	--	187	Stephen D. Comer. A new foundation for the theory of relations
188	--	198	Marienne Bhavani Thuraisingham. Cylindrical decision problems for system functions
199	--	204	Robert Cowen. Compactness via prime semilattices
205	--	223	Larry Henschen, B. Smith, Robert Veroff, Steve Winker, Larry Wos. Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains
224	--	232	Robin Smith. Completeness of an ecthetic syllogistic
233	--	241	Steven T. Kuhn. An axiomatization of predicate functor logic
242	--	254	Marienne Bhavani Thuraisingham. Some elementary closure properties of n-cylinders
255	--	284	John W. Dawson. The published work of Kurt Gödel: an annotated bibliography

1	--	21	Steven J. Wagner. Frege's definition of number
22	--	34	Arnold W. Miller. On the Borel classification of the isomorphism class of a countable model
35	--	40	Chris Mortensen. The validity of disjunctive syllogism is not so easily proved
41	--	53	John P. Burgess. Common sense and "relevance"
54	--	66	René Lavendhomme, Thierry Lucas. A note on intuitionistic models of ZF
67	--	88	La Verne Shelton. A diachronic semantics for inexact reference
89	--	92	Norbert Brunner. Sequential compactness and the axiom of choice
93	--	105	John P. Burgess. Why I am not a nominalist
106	--	114	N. L. Wilson. The transitivity of implication in tree logic
115	--	132	David F. Austin. Plantinga's theory of proper names
133	--	140	John Cowles, Robert LaGrange. Generalized Archimedean fields
141	--	142	Anjan Shukla. Consistent, independent, and distinct propositions. III. Modalities in S6
143	--	145	John L. Hickman. A note on Conway multiplication of ordinals
146	--	150	Herbert E. Hendry. Minimally incomplete sets of Łukasiewiczian truth functions
151	--	158	Gregory Mellema. On measures and distinguishability

runs on WebDSL