Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 27 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 27 · NO. 4 | October 1986
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 27, issue 4 (1986)
Notre Dame J. Formal Logic 27 (4), (October 1986) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Classical harmony.
Alan Weir
Notre Dame J. Formal Logic 27 (4), 459-482, (October 1986) DOI: 10.1305/ndjfl/1093636761 Open Access
KEYWORDS: 03F07, 03A05, 03B10
No abstract available
DOWNLOAD PAPER
Gentzen systems, resolution, and literal trees.
Daniel J. Dougherty
Notre Dame J. Formal Logic 27 (4), 483-503, (October 1986) DOI: 10.1305/ndjfl/1093636762 Open Access
KEYWORDS: 03F20, 03B35, 68T15
No abstract available
DOWNLOAD PAPER
Modal logics with functional alternative relations.
Krister Segerberg
Notre Dame J. Formal Logic 27 (4), 504-522, (October 1986) DOI: 10.1305/ndjfl/1093636763 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Kripke-type semantics for da Costa's paraconsistent logic ${\rm C}_\omega$.
Matthias Baaz
Notre Dame J. Formal Logic 27 (4), 523-527, (October 1986) DOI: 10.1305/ndjfl/1093636764 Open Access
KEYWORDS: 03B60, 03F99
No abstract available
DOWNLOAD PAPER
Finite Kripke models of ${\rm HA}$ are locally ${\rm PA}$.
E. C. W. Krabbe, H. Mulder, A. Visser, D. van Dalen
Notre Dame J. Formal Logic 27 (4), 528-532, (October 1986) DOI: 10.1305/ndjfl/1093636765 Open Access
KEYWORDS: 03F30, 03B55, 03F55
No abstract available
DOWNLOAD PAPER
Modality and possibility in some intuitionistic modal logics.
Josep M. Font
Notre Dame J. Formal Logic 27 (4), 533-546, (October 1986) DOI: 10.1305/ndjfl/1093636766 Open Access
KEYWORDS: 03B45, 03F55
No abstract available
DOWNLOAD PAPER
Strong normalization for typed terms with surjective pairing.
A. S. Troelstra
Notre Dame J. Formal Logic 27 (4), 547-550, (October 1986) DOI: 10.1305/ndjfl/1093636767 Open Access
KEYWORDS: 03F05, 03B40
No abstract available
DOWNLOAD PAPER
A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic ${\rm S}_5$ is metalogical''.
Zdzisław Dywan
Notre Dame J. Formal Logic 27 (4), 551-555, (October 1986) DOI: 10.1305/ndjfl/1093636768 Open Access
KEYWORDS: 03B45, 03B99
No abstract available
DOWNLOAD PAPER
On the characterizability of the frames for the ``unpreventability of the present and the past''.
Alberto Zanardo
Notre Dame J. Formal Logic 27 (4), 556-564, (October 1986) DOI: 10.1305/ndjfl/1093636769 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Systems of sentence logic with trans-atomic units.
Richard Butrick
Notre Dame J. Formal Logic 27 (4), 565-571, (October 1986) DOI: 10.1305/ndjfl/1093636770 Open Access
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
Sums of finitely many ordinals of various kinds.
Martin M. Zuckerman
Notre Dame J. Formal Logic 27 (4), 572-578, (October 1986) DOI: 10.1305/ndjfl/1093636771 Open Access
KEYWORDS: 04A10
No abstract available
DOWNLOAD PAPER
Near coherence of filters. I. Cofinal equivalence of models of arithmetic.
Andreas Blass
Notre Dame J. Formal Logic 27 (4), 579-591, (October 1986) DOI: 10.1305/ndjfl/1093636772 Open Access
KEYWORDS: 03E05, 03C20, 03C62, 03E35
No abstract available
DOWNLOAD PAPER
Identities and indiscernibility.
Guus Broesterhuizen, J. Wierzejewski
Notre Dame J. Formal Logic 27 (4), 592-605, (October 1986) DOI: 10.1305/ndjfl/1093636773 Open Access
KEYWORDS: 03C52
No abstract available
DOWNLOAD PAPER
Back Matter
Volume 27 contents.
Notre Dame J. Formal Logic 27 (4), 607-609, (October 1986) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 27, issue 4 (1986)
Notre Dame J. Formal Logic 27 (4), (October 1986) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top