Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 18 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 18 · NO. 3 | July 1977
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 18, issue 3 (1977)
Notre Dame J. Formal Logic 18 (3), (July 1977) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Two systems of presupposition logic.
J. M. Bell, Lloyd Humberstone
Notre Dame J. Formal Logic 18 (3), 321-339, (July 1977) DOI: 10.1305/ndjfl/1093888006 Open Access
KEYWORDS: 02C05, 02A05, 02C10
No abstract available
DOWNLOAD PAPER
A refoundation of modal logic.
Graham Priest
Notre Dame J. Formal Logic 18 (3), 340-354, (July 1977) DOI: 10.1305/ndjfl/1093888007 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A note on metaphysics and the foundations of mathematics.
Robert L. Wilson
Notre Dame J. Formal Logic 18 (3), 355-362, (July 1977) DOI: 10.1305/ndjfl/1093888008 Open Access
KEYWORDS: 02A05, 02C10
No abstract available
DOWNLOAD PAPER
A reassessment of George Boole's theory of logic.
James W. van Evra
Notre Dame J. Formal Logic 18 (3), 363-377, (July 1977) DOI: 10.1305/ndjfl/1093888009 Open Access
KEYWORDS: 02-03
No abstract available
DOWNLOAD PAPER
An axiomatization of Herzberger's $2$-dimensional presuppositional semantics.
John N. Martin
Notre Dame J. Formal Logic 18 (3), 378-382, (July 1977) DOI: 10.1305/ndjfl/1093888010 Open Access
KEYWORDS: 02C05, 02A05
No abstract available
DOWNLOAD PAPER
Recursive and recursively enumerable manifolds. II.
Vladeta Vučković
Notre Dame J. Formal Logic 18 (3), 383-405, (July 1977) DOI: 10.1305/ndjfl/1093888011 Open Access
KEYWORDS: 02F25
No abstract available
DOWNLOAD PAPER
When do $\ast$continuous extensions exist?
Robert Warren Button
Notre Dame J. Formal Logic 18 (3), 406-408, (July 1977) DOI: 10.1305/ndjfl/1093888012 Open Access
KEYWORDS: 02H20, 54J05
No abstract available
DOWNLOAD PAPER
A note on the axiom of choice and the continuum hypothesis.
Rolf Schock
Notre Dame J. Formal Logic 18 (3), 409-414, (July 1977) DOI: 10.1305/ndjfl/1093888013 Open Access
KEYWORDS: 02K25, 02K20
No abstract available
DOWNLOAD PAPER
The entailment operator.
Peter A. Facione
Notre Dame J. Formal Logic 18 (3), 415-420, (July 1977) DOI: 10.1305/ndjfl/1093888014 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Sémantique des formules logiques en forme d'équivalence $n$-aire (demi-modèles).
Metoděj K. Chytil
Notre Dame J. Formal Logic 18 (3), 421-435, (July 1977) DOI: 10.1305/ndjfl/1093888015 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
The weak topology on logical calculi.
Arnold R. Vobach
Notre Dame J. Formal Logic 18 (3), 436-440, (July 1977) DOI: 10.1305/ndjfl/1093888016 Open Access
KEYWORDS: 02B05, 02B10
No abstract available
DOWNLOAD PAPER
The logic of closed categories.
Manfred E. Szabo
Notre Dame J. Formal Logic 18 (3), 441-457, (July 1977) DOI: 10.1305/ndjfl/1093888017 Open Access
KEYWORDS: 02D99, 02J99, 18D15
No abstract available
DOWNLOAD PAPER
Hintikka's free logic is not free.
Henri J. Sarlet
Notre Dame J. Formal Logic 18 (3), 458, (July 1977) DOI: 10.1305/ndjfl/1093888018 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
The ``conditionatim''-clause: one of the problems of existential import in the history of logic.
Ivan Boh
Notre Dame J. Formal Logic 18 (3), 459-466, (July 1977) DOI: 10.1305/ndjfl/1093888019 Open Access
KEYWORDS: 02-03, 01A35
No abstract available
DOWNLOAD PAPER
Some Post-complete extensions of ${\rm S}2$ and ${\rm S}3$.
Robert V. Kohn
Notre Dame J. Formal Logic 18 (3), 467-470, (July 1977) DOI: 10.1305/ndjfl/1093888020 Open Access
KEYWORDS: 02C10, 02J05
No abstract available
DOWNLOAD PAPER
A remark on Gentzen's calculus of sequents.
Johannes Czermak
Notre Dame J. Formal Logic 18 (3), 471-474, (July 1977) DOI: 10.1305/ndjfl/1093888021 Open Access
KEYWORDS: 02D99
No abstract available
DOWNLOAD PAPER
The numeral axioms.
Richard Butrick
Notre Dame J. Formal Logic 18 (3), 475-476, (July 1977) DOI: 10.1305/ndjfl/1093888022 Open Access
No abstract available
DOWNLOAD PAPER
Additional extensions of ${\rm S}4$.
G. N. Georgacarakos
Notre Dame J. Formal Logic 18 (3), 477-488, (July 1977) DOI: 10.1305/ndjfl/1093888023 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Some applications of model theory to the metatheory of program schemata.
Richard A. DeMillo
Notre Dame J. Formal Logic 18 (3), 489-495, (July 1977) DOI: 10.1305/ndjfl/1093888024 Open Access
KEYWORDS: 68A05, 02H99
No abstract available
DOWNLOAD PAPER
Frequencies and beliefs.
Charles G. Werner
Notre Dame J. Formal Logic 18 (3), 496-498, (July 1977) DOI: 10.1305/ndjfl/1093888025 Open Access
No abstract available
DOWNLOAD PAPER
The continuum hypothesis is independent of second-order ZF.
Thomas S. Weston
Notre Dame J. Formal Logic 18 (3), 499-503, (July 1977) DOI: 10.1305/ndjfl/1093888026 Open Access
KEYWORDS: 02K25
No abstract available
DOWNLOAD PAPER
Semantics for ${\rm S}4.03$.
G. N. Georgacarakos
Notre Dame J. Formal Logic 18 (3), 504-506, (July 1977) DOI: 10.1305/ndjfl/1093888027 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
On G. Spencer Brown's laws of form.
B. Banaschewski
Notre Dame J. Formal Logic 18 (3), 507-509, (July 1977) DOI: 10.1305/ndjfl/1093888028 Open Access
KEYWORDS: 00A05, 00A25, 02J05
No abstract available
DOWNLOAD PAPER
A deduction rule for ${\rm VBTO}($ $)^n_{i=1}$.
Richard Butrick
Notre Dame J. Formal Logic 18 (3), 510-512, (July 1977) DOI: 10.1305/ndjfl/1093888029 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 18, issue 3 (1977)
Notre Dame J. Formal Logic 18 (3), (July 1977) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top