Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 24 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 24 · NO. 1 | January 1983
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 24, issue 1 (1983)
Notre Dame J. Formal Logic 24 (1), (January 1983) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Frege's definition of number.
Steven Wagner
Notre Dame J. Formal Logic 24 (1), 1-21, (January 1983) DOI: 10.1305/ndjfl/1093870216 Open Access
KEYWORDS: 03A05, 00A25, 03B15
No abstract available
DOWNLOAD PAPER
On the Borel classification of the isomorphism class of a countable model.
Arnold W. Miller
Notre Dame J. Formal Logic 24 (1), 22-34, (January 1983) DOI: 10.1305/ndjfl/1093870217 Open Access
KEYWORDS: 03C15, 03C75
No abstract available
DOWNLOAD PAPER
The validity of disjunctive syllogism is not so easily proved.
Chris Mortensen
Notre Dame J. Formal Logic 24 (1), 35-40, (January 1983) DOI: 10.1305/ndjfl/1093870218 Open Access
KEYWORDS: 03A05, 03B45
No abstract available
DOWNLOAD PAPER
Common sense and ``relevance''.
John P. Burgess
Notre Dame J. Formal Logic 24 (1), 41-53, (January 1983) DOI: 10.1305/ndjfl/1093870219 Open Access
KEYWORDS: 03A05, 03B45
No abstract available
DOWNLOAD PAPER
A note on intuitionistic models of ${\rm ZF}$.
R. Lavendhomme, T. Lucas
Notre Dame J. Formal Logic 24 (1), 54-66, (January 1983) DOI: 10.1305/ndjfl/1093870220 Open Access
KEYWORDS: 03C90, 03F55, 03G30
No abstract available
DOWNLOAD PAPER
A diachronic semantics for inexact reference.
La Verne Shelton
Notre Dame J. Formal Logic 24 (1), 67-88, (January 1983) DOI: 10.1305/ndjfl/1093870221 Open Access
KEYWORDS: 03B45, 03B52
No abstract available
DOWNLOAD PAPER
Sequential compactness and the axiom of choice.
Norbert Brunner
Notre Dame J. Formal Logic 24 (1), 89-92, (January 1983) DOI: 10.1305/ndjfl/1093870222 Open Access
KEYWORDS: 04A25, 03E25, 46C99
No abstract available
DOWNLOAD PAPER
Why I am not a nominalist.
John P. Burgess
Notre Dame J. Formal Logic 24 (1), 93-105, (January 1983) DOI: 10.1305/ndjfl/1093870223 Open Access
KEYWORDS: 03A05, 00A25
No abstract available
DOWNLOAD PAPER
The transitivity of implication in tree logic.
N. L. Wilson
Notre Dame J. Formal Logic 24 (1), 106-114, (January 1983) DOI: 10.1305/ndjfl/1093870224 Open Access
KEYWORDS: 03B05, 03F05
No abstract available
DOWNLOAD PAPER
Plantinga's theory of proper names.
David F. Austin
Notre Dame J. Formal Logic 24 (1), 115-132, (January 1983) DOI: 10.1305/ndjfl/1093870225 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Generalized Archimedean fields.
John Cowles, Robert LaGrange
Notre Dame J. Formal Logic 24 (1), 133-140, (January 1983) DOI: 10.1305/ndjfl/1093870226 Open Access
KEYWORDS: 03C60, 03E99, 12J15
No abstract available
DOWNLOAD PAPER
Consistent, independent, and distinct propositions. III. Modalities in ${\rm S}6$.
Anjan Shukla
Notre Dame J. Formal Logic 24 (1), 141-142, (January 1983) DOI: 10.1305/ndjfl/1093870227 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A note on Conway multiplication of ordinals.
John Hickman
Notre Dame J. Formal Logic 24 (1), 143-145, (January 1983) DOI: 10.1305/ndjfl/1093870228 Open Access
KEYWORDS: 04A10
No abstract available
DOWNLOAD PAPER
Minimally incomplete sets of Ł ukasiewiczian truth functions.
Herbert E. Hendry
Notre Dame J. Formal Logic 24 (1), 146-150, (January 1983) DOI: 10.1305/ndjfl/1093870229 Open Access
KEYWORDS: 03G20, 03B50
No abstract available
DOWNLOAD PAPER
On measures and distinguishability.
Gregory Mellema
Notre Dame J. Formal Logic 24 (1), 151-158, (January 1983) DOI: 10.1305/ndjfl/1093870230 Open Access
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 24, issue 1 (1983)
Notre Dame J. Formal Logic 24 (1), (January 1983) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top