default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 28
Volume 28, Number 1, January 1987
- Steven J. Wagner:
The rationalist conception of logic. 3-35 - David Bell:
Thoughts. 36-50 - Adrian W. Moore, Andrew Rein:
Frege's permutation argument. 51-54 - Gregory Currie
:
Remarks on Frege's conception of inference. 55-68 - Peter Schroeder-Heister:
A model-theoretic reconstruction of Frege's permutation argument. 69-79 - Hans Sluga:
Frege against the Booleans. 80-98 - C. Anthony Anderson:
Semantical antinomies in the logic of sense and denotation. 99-114 - I. Susan Russinoff:
On the brink of a paradox? 115-131 - Palle Yourgrau:
Frege on truth and reference. 132-138 - Richard L. Mendelsohn:
Frege's two senses of "is". 139-160 - Terence Parsons:
On the consistency of the first-order portion of Frege's logical system. 161-168
Volume 28, Number 2, April 1987
- I. L. Humberstone:
The modal logic of 'all and only'. 177-188 - Joseph Jurcic:
On defining sentential connectives. 189-199 - Christopher S. Hill:
Rudiments of a theory of reference. 200-219 - R. A. Bull:
Survey of generalizations of Urquhart semantics. 220-237 - Kees Doets:
On n-equivalence of binary trees. 238-243 - Timothy Williamson:
Invertible definitions. 244-258 - Carlo Toffalori:
Cantor-Bendixson spectra of ω-stable theories. 259-275 - Paul E. Howard, Mary Yorke:
Maximal p-subgroups and the axiom of choice. 276-283 - Juan Carlos Martínez:
Decision procedure for a class of (Lω1ω)t-types of T3 spaces. 284-290 - Bonnie Gold:
Relatively Diophantine correct models of arithmetic. 291-296
Volume 28, Number 3, July 1987
- Glen Helman:
On the equivalence of proofs involving identity. 297-321 - Lawrence Powers:
Quantifier responsiveness. 322-355 - Craig Smorynski:
Quantified modal logic and self-reference. 356-370 - Bangs L. Tapscott:
A simplified natural deduction approach to certain modal systems. 371-384 - A. Burrieza, Juan C. León:
Modal trees: correction to a decision procedure for S5 (and T). 385-391 - Miodrag Kapetanovic, Aleksandar Krapez:
More on trees and finite satisfiability: the taming of terms. 392-394 - John K. Slaney:
Reduced models for relevant logics without WI. 395-407 - Charles B. Daniels:
A first-order logic with no logical constants. 408-413 - Philip Hugly, Charles Sayward:
Do we need models? 414-422 - Michael Hand:
Other and else: restrictions on quantifier domains in game-theoretical semantics. 423-430 - Richard Butrick:
A system of predicate logic with transatomic units. 431-438 - Fred Wilson:
The distribution of terms: a defense of the traditional doctrine. 439-454 - Kevin L. Flannery:
A rationale for Aristotle's notion of perfect syllogisms. 455-471
Volume 28, Number 4, October 1987
- Nicolas D. Goodman:
Intensions, Church's thesis, and the formalization of mathematics. 473-489 - Stephen Cole Kleene:
Reflections on Church's thesis. 490-498 - Georg Kreisel:
Church's thesis and the ideal of informal rigour. 499-519 - Timothy G. McCarthy, Stewart Shapiro:
Turing projectability. 520-535 - Charles McCarty:
Variations on a thesis: intuitionism and computability. 536-580 - Raymond J. Nelson:
Church's thesis and cognitive science. 581-614 - Stuart G. Shanker:
Wittgenstein versus Turing on the nature of Church's thesis. 615-649
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-09 19:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
