Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 24 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 24 · NO. 3 | July 1983
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 24, issue 3 (1983)
Notre Dame J. Formal Logic 24 (3), (July 1983) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Probability theory, intuitionism, semantics, and the Dutch book argument.
Hugues Leblanc, Charles G. Morgan
Notre Dame J. Formal Logic 24 (3), 289-304, (July 1983) DOI: 10.1305/ndjfl/1093870372 Open Access
KEYWORDS: 03B48, 03B20, 60A99
No abstract available
DOWNLOAD PAPER
The axiom of choice in topology.
Norbert Brunner
Notre Dame J. Formal Logic 24 (3), 305-317, (July 1983) DOI: 10.1305/ndjfl/1093870373 Open Access
KEYWORDS: 03E25, 03E35, 04A25, 54A35
No abstract available
DOWNLOAD PAPER
Tense trees: a tree system for ${\rm K}_{{\rm t}}$.
B. J. Copeland
Notre Dame J. Formal Logic 24 (3), 318-322, (July 1983) DOI: 10.1305/ndjfl/1093870374 Open Access
KEYWORDS: 03B45, 03B25
No abstract available
DOWNLOAD PAPER
KM and the finite model property.
M. J. Cresswell
Notre Dame J. Formal Logic 24 (3), 323-327, (July 1983) DOI: 10.1305/ndjfl/1093870375 Open Access
KEYWORDS: 03B45, 03B25
No abstract available
DOWNLOAD PAPER
The concept of $n$-cylinder and its relationship to simple sets.
M. B. Thuraisingham
Notre Dame J. Formal Logic 24 (3), 328-336, (July 1983) DOI: 10.1305/ndjfl/1093870376 Open Access
KEYWORDS: 03D25, 03D30
No abstract available
DOWNLOAD PAPER
Correction of the semantics for ${\rm S}4.03$ and a note on literal disjunctive symmetry.
Ralph H. Moon
Notre Dame J. Formal Logic 24 (3), 337-345, (July 1983) DOI: 10.1305/ndjfl/1093870377 Open Access
KEYWORDS: 03B45, 03C50
No abstract available
DOWNLOAD PAPER
Inaccessible worlds.
I. L. Humberstone
Notre Dame J. Formal Logic 24 (3), 346-352, (July 1983) DOI: 10.1305/ndjfl/1093870378 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Homogeneous Boolean algebras with very nonsymmetric subalgebras.
Sabine Koppelberg, J. Donald Monk
Notre Dame J. Formal Logic 24 (3), 353-356, (July 1983) DOI: 10.1305/ndjfl/1093870379 Open Access
KEYWORDS: 06E05, 03E35, 03G05
No abstract available
DOWNLOAD PAPER
A simplification of the logic of conditionals.
E. J. Lowe
Notre Dame J. Formal Logic 24 (3), 357-366, (July 1983) DOI: 10.1305/ndjfl/1093870380 Open Access
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
On the equivalence between the calculi ${\rm MC}^\nu$ and ${\rm EC}^{\nu+1}$ of A. Bressan.
Alberto Zanardo
Notre Dame J. Formal Logic 24 (3), 367-388, (July 1983) DOI: 10.1305/ndjfl/1093870381 Open Access
KEYWORDS: 03B45, 03B15
No abstract available
DOWNLOAD PAPER
Prime spectrum of a tetravalent modal algebra.
Isabel Loureiro
Notre Dame J. Formal Logic 24 (3), 389-394, (July 1983) DOI: 10.1305/ndjfl/1093870382 Open Access
KEYWORDS: 06D30, 03G20
No abstract available
DOWNLOAD PAPER
Some preservation results for classical and intuitionistic satisfiability in Kripke models.
Zoran Marković
Notre Dame J. Formal Logic 24 (3), 395-398, (July 1983) DOI: 10.1305/ndjfl/1093870383 Open Access
KEYWORDS: 03B20, 03F25, 03F55
No abstract available
DOWNLOAD PAPER
The class of neat-reducts of cylindric algebras is not a variety but is closed with respect to ${\rm HP}$.
István Németi
Notre Dame J. Formal Logic 24 (3), 399-409, (July 1983) DOI: 10.1305/ndjfl/1093870384 Open Access
KEYWORDS: 03G15
No abstract available
DOWNLOAD PAPER
The connective of necessity of modal logic ${\rm S}5$ is metalogical.
Zdzisław Dywan
Notre Dame J. Formal Logic 24 (3), 410-414, (July 1983) DOI: 10.1305/ndjfl/1093870385 Open Access
KEYWORDS: 03B45, 03B05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 24, issue 3 (1983)
Notre Dame J. Formal Logic 24 (3), (July 1983) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top