Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 29 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 29 · NO. 4 | Fall 1988
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 29, issue 4 (1988)
Notre Dame J. Formal Logic 29 (4), (Fall 1988) Open Access
No abstract available
DOWNLOAD PAPER
Articles
First-order logics for comparative similarity.
Timothy Williamson
Notre Dame J. Formal Logic 29 (4), 457-481, (Fall 1988) DOI: 10.1305/ndjfl/1093638012 Open Access
KEYWORDS: 03B45, 03B10
No abstract available
DOWNLOAD PAPER
On the methodology of possible worlds semantics. I. Correspondence theory.
David Pearce, Heinrich Wansing
Notre Dame J. Formal Logic 29 (4), 482-496, (Fall 1988) DOI: 10.1305/ndjfl/1093638013 Open Access
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
On the existence of polynomial time algorithms for interpolation problems in propositional logic.
E. Dahlhaus, A. Israeli, J. A. Makowsky
Notre Dame J. Formal Logic 29 (4), 497-509, (Fall 1988) DOI: 10.1305/ndjfl/1093638014 Open Access
KEYWORDS: 03B05, 03C40, 03D15, 68Q20
No abstract available
DOWNLOAD PAPER
Material implication and entailment.
Claro R. Ceniza
Notre Dame J. Formal Logic 29 (4), 510-519, (Fall 1988) DOI: 10.1305/ndjfl/1093638015 Open Access
KEYWORDS: 03B45, 03A05, 03B05
No abstract available
DOWNLOAD PAPER
On the logic of contingent relevant implication: a conceptual incoherence in the intuitive interpretation of ${\rm R}$.
Mark Lance
Notre Dame J. Formal Logic 29 (4), 520-529, (Fall 1988) DOI: 10.1305/ndjfl/1093638016 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Many-sorted elementary equivalence.
Daniel Dzierzgowski
Notre Dame J. Formal Logic 29 (4), 530-542, (Fall 1988) DOI: 10.1305/ndjfl/1093638017 Open Access
KEYWORDS: 03C07, 03B15, 03C68
No abstract available
DOWNLOAD PAPER
A basic free logic.
Kathleen Johnson Wu
Notre Dame J. Formal Logic 29 (4), 543-552, (Fall 1988) DOI: 10.1305/ndjfl/1093638018 Open Access
KEYWORDS: 03B20
No abstract available
DOWNLOAD PAPER
On begging the question ``Who is $N$?''.
Thomas E. Patton
Notre Dame J. Formal Logic 29 (4), 553-562, (Fall 1988) DOI: 10.1305/ndjfl/1093638019 Open Access
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
On certain normalizable natural deduction formulations of some propositional intermediate logics.
Branislav R. Boričić
Notre Dame J. Formal Logic 29 (4), 563-568, (Fall 1988) DOI: 10.1305/ndjfl/1093638020 Open Access
KEYWORDS: 03B55, 03F05
No abstract available
DOWNLOAD PAPER
Equivalent versions of a weak form of the axiom of choice.
Gary P. Shannon
Notre Dame J. Formal Logic 29 (4), 569-573, (Fall 1988) DOI: 10.1305/ndjfl/1093638021 Open Access
KEYWORDS: 04A25, 03E25
No abstract available
DOWNLOAD PAPER
Definability in self-referential systems.
J. Zimbarg Sobrinho
Notre Dame J. Formal Logic 29 (4), 574-578, (Fall 1988) DOI: 10.1305/ndjfl/1093638022 Open Access
KEYWORDS: 03C40, 03E45
No abstract available
DOWNLOAD PAPER
There are denumerably many ternary intuitionistic Sheffer functions.
Djordje Čubrić
Notre Dame J. Formal Logic 29 (4), 579-581, (Fall 1988) DOI: 10.1305/ndjfl/1093638023 Open Access
KEYWORDS: 03B20
No abstract available
DOWNLOAD PAPER
Back Matter
Volume 29 contents.
Notre Dame J. Formal Logic 29 (4), 583-586, (Fall 1988) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 29, issue 4 (1988)
Notre Dame J. Formal Logic 29 (4), (Fall 1988) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top