Notre Dame Journal of Formal Logic - researchr journal

researchr

You are not signed in
Sign in
Sign up

457	--	481	Timothy Williamson. First-order logics for comparative similarity
482	--	496	David Pearce, Heinrich Wansing. On the methodology of possible worlds semantics. I. Correspondence theory
497	--	509	Elias Dahlhaus, Amos Israeli, Johann A. Makowsky. On the existence of polynomial time algorithms for interpolation problems in propositional logic
510	--	519	Claro R. Ceniza. Material implication and entailment
520	--	529	Mark Lance. On the logic of contingent relevant implication: a conceptual incoherence in the intuitive interpretation of R
530	--	542	Daniel Dzierzgowski. Many-sorted elementary equivalence
543	--	552	Kathleen Johnson Wu. A basic free logic
553	--	562	Thomas E. Patton. On begging the question "Who is N?"
563	--	568	Branislav R. Boricic. On certain normalizable natural deduction formulations of some propositional intermediate logics
569	--	573	Gary P. Shannon. Equivalent versions of a weak form of the axiom of choice
574	--	578	J. Zimbarg Sobrinho. Definability in self-referential systems
579	--	581	Djordje Cubric. There are denumerably many ternary intuitionistic Sheffer functions

281	--	294	Miroslaw Szatkowski. Semantical analysis of superrelevant predicate logics with quantification
295	--	308	Roman Murawski. Pointwise definable substructures of models of Peano arithmetic
309	--	331	Michael Kaminski. Nonstandard connectives of intuitionistic propositional logic
332	--	344	Ildikó Sain. Concerning some cylindric algebra versions of the downward Löwenheim-Skolem theorem
345	--	364	Claudio Bernardi, Paola D'Aquino. Topological duality for diagonalizable algebras
365	--	380	Jirí Adámek, Alan H. Mekler, Evelyn Nelson, Jan Reiterman. On the logic of continuous algebras
381	--	395	George Englebretsen. Preliminary notes on a new modal syllogistic
396	--	411	Victor Pambuccian. Simplicity
412	--	419	Dennis Duchhart. A unified approach to relative interpolation
420	--	437	Peter A. Fejer, Richard A. Shore. Infima of recursively enumerable truth table degrees
438	--	453	Michael J. White. An "almost classical" period-based tense logic

185	--	192	Per Lindström. Partially generic formulas in arithmetic
193	--	197	Leonardo Pasini. Generalized Hardy fields in several variables
198	--	207	Carl H. Smith. A note on arbitrarily complex recursive functions
208	--	213	Stewart Shapiro. The Lindenbaum construction and decidability
214	--	215	George Boolos. Alphabetical order
216	--	228	William N. Reinhardt. Epistemic set theory
229	--	234	T. S. Weston. Approximate truth and Ł ukasiewicz logic
235	--	248	Francis Jeffry Pelletier, W. David Sharp. On proving functional incompleteness in symbolic logic classes
249	--	266	Russell Pannier, Thomas Sullivan. Mindful logic: how to resolve some paradoxes of identity
267	--	275	Roy A. Sorensen. Precisification by means of vague predicates

1	--	17	Saharon Shelah. 2
18	--	27	Seiki Akama. Constructive predicate logic with strong negation and model theory
28	--	33	Theodore Hailperin. Infinite truth-functional logic
34	--	44	Peter Lavers. Relevance and disjunctive syllogism
45	--	60	Chris Mortensen. Inconsistent number systems
61	--	80	I. L. Humberstone. Operational semantics for positive R
81	--	90	Thomas Jager. De re and de dicto
91	--	101	Daniel H. Cohen. The problem of counterpossibles
102	--	105	Gert-Jan C. Lokhorst. The modal status of antinomies
106	--	108	George F. Schumm. The number of nonnormal extensions of S4
109	--	136	John-Jules Ch. Meyer. A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic
137	--	138	Dolph Ulrich. A five-valued model of the E-p-q-theses
139	--	154	J. L. Shaw. The Nyāya on double negation
155	--	159	Roy A. Sorensen. Are enthymemes arguments?
160	--	181	Georg Kreisel. Collected works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel

runs on WebDSL