Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 26 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 26 · NO. 4 | October 1985
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 26, issue 4 (1985)
Notre Dame J. Formal Logic 26 (4), (October 1985) Open Access
No abstract available
DOWNLOAD PAPER
Articles
A note on the Hanf number of second-order logic.
Matt Kaufmann
Notre Dame J. Formal Logic 26 (4), 305-308, (October 1985) DOI: 10.1305/ndjfl/1093870925 Open Access
KEYWORDS: 03C85, 03B15, 03E55
No abstract available
DOWNLOAD PAPER
Intension, designation, and extension.
Garrel Pottinger
Notre Dame J. Formal Logic 26 (4), 309-340, (October 1985) DOI: 10.1305/ndjfl/1093870926 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
$1$-consistency and the diamond.
George Boolos
Notre Dame J. Formal Logic 26 (4), 341-347, (October 1985) DOI: 10.1305/ndjfl/1093870927 Open Access
KEYWORDS: 03F30, 03B45
No abstract available
DOWNLOAD PAPER
Higher quantity syllogisms.
Philip L. Peterson
Notre Dame J. Formal Logic 26 (4), 348-360, (October 1985) DOI: 10.1305/ndjfl/1093870928 Open Access
KEYWORDS: 03B65, 03B60
No abstract available
DOWNLOAD PAPER
Classification theory over a predicate. I.
Anand Pillay, Saharon Shelah
Notre Dame J. Formal Logic 26 (4), 361-376, (October 1985) DOI: 10.1305/ndjfl/1093870929 Open Access
KEYWORDS: 03C45
No abstract available
DOWNLOAD PAPER
Two $\lambda$-extensions of the theory of homogeneous simple types as a second-order logic.
Nino B. Cocchiarella
Notre Dame J. Formal Logic 26 (4), 377-407, (October 1985) DOI: 10.1305/ndjfl/1093870930 Open Access
KEYWORDS: 03B15, 03B40
No abstract available
DOWNLOAD PAPER
Definable partitions and reflection properties for regular cardinals.
Evangelos Kranakis
Notre Dame J. Formal Logic 26 (4), 408-412, (October 1985) DOI: 10.1305/ndjfl/1093870931 Open Access
KEYWORDS: 03E55
No abstract available
DOWNLOAD PAPER
Recursively saturated $\omega_1$-like models of arithmetic.
Roman Kossak
Notre Dame J. Formal Logic 26 (4), 413-422, (October 1985) DOI: 10.1305/ndjfl/1093870932 Open Access
KEYWORDS: 03C62, 03C57
No abstract available
DOWNLOAD PAPER
The rule of procedure ${\rm Re}$ in Ł ukasiewicz's many-valued propositional calculi.
John Jones
Notre Dame J. Formal Logic 26 (4), 423-428, (October 1985) DOI: 10.1305/ndjfl/1093870933 Open Access
KEYWORDS: 03B50
No abstract available
DOWNLOAD PAPER
Axioms for mereology.
Audoënus Le Blanc
Notre Dame J. Formal Logic 26 (4), 429-436, (October 1985) DOI: 10.1305/ndjfl/1093870934 Open Access
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
New axioms for mereology.
Audoënus Le Blanc
Notre Dame J. Formal Logic 26 (4), 437-443, (October 1985) DOI: 10.1305/ndjfl/1093870935 Open Access
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
Independence in higher-order subclassical logic.
David Ballard
Notre Dame J. Formal Logic 26 (4), 444-454, (October 1985) DOI: 10.1305/ndjfl/1093870936 Open Access
KEYWORDS: 03B55, 03B15
No abstract available
DOWNLOAD PAPER
Relevance and conformity.
Harry Deutsch
Notre Dame J. Formal Logic 26 (4), 455-462, (October 1985) DOI: 10.1305/ndjfl/1093870937 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Nominalization and Scott's domains. II.
Raymond Turner
Notre Dame J. Formal Logic 26 (4), 463-478, (October 1985) DOI: 10.1305/ndjfl/1093870938 Open Access
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
An intuitionistic Sheffer function.
Kosta Došen
Notre Dame J. Formal Logic 26 (4), 479-482, (October 1985) DOI: 10.1305/ndjfl/1093870939 Open Access
KEYWORDS: 03B20, 03B05
No abstract available
DOWNLOAD PAPER
Investigations in protothetic.
Audoënus Le Blanc
Notre Dame J. Formal Logic 26 (4), 483-489, (October 1985) DOI: 10.1305/ndjfl/1093870940 Open Access
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
Back Matter
Volume 26 contents.
Notre Dame J. Formal Logic 26 (4), 491-493, (October 1985) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 26, issue 4 (1985)
Notre Dame J. Formal Logic 26 (4), (October 1985) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top