Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 16 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 16 · NO. 1 | January 1975
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 16, issue 1 (1975)
Notre Dame J. Formal Logic 16 (1), (January 1975) Open Access
No abstract available
DOWNLOAD PAPER
Articles
A modal logic $\varepsilon$-calculus.
Melvin Fitting
Notre Dame J. Formal Logic 16 (1), 1-16, (January 1975) DOI: 10.1305/ndjfl/1093891609 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Logic of antinomies.
F. G. Asenjo, J. Tamburino
Notre Dame J. Formal Logic 16 (1), 17-44, (January 1975) DOI: 10.1305/ndjfl/1093891610 Open Access
KEYWORDS: 02C99, 02K10
No abstract available
DOWNLOAD PAPER
Axiomatization of fragments of ${\rm S}5$.
Thomas W. Scharle
Notre Dame J. Formal Logic 16 (1), 45-70, (January 1975) DOI: 10.1305/ndjfl/1093891611 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Erweiterte deontische Logik (EDL). Ein Versuch um weitere formale Ausbildung der deontischen Modallogik.
Bohuslav T. Peklo
Notre Dame J. Formal Logic 16 (1), 71-80, (January 1975) DOI: 10.1305/ndjfl/1093891612 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A new postulate-system for modular lattices.
Bolesław Sobociński
Notre Dame J. Formal Logic 16 (1), 81-85, (January 1975) DOI: 10.1305/ndjfl/1093891613 Open Access
KEYWORDS: 06A30, 02G15
No abstract available
DOWNLOAD PAPER
A sole sufficient operator.
T. C. Wesselkamper
Notre Dame J. Formal Logic 16 (1), 86-88, (January 1975) DOI: 10.1305/ndjfl/1093891614 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
A formal metasystem for Frege's semantics.
Will Harris
Notre Dame J. Formal Logic 16 (1), 89-101, (January 1975) DOI: 10.1305/ndjfl/1093891615 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
Wittgenstein on Russell's theory of types.
James b. Davant
Notre Dame J. Formal Logic 16 (1), 102-108, (January 1975) DOI: 10.1305/ndjfl/1093891616 Open Access
No abstract available
DOWNLOAD PAPER
A compendium of C. S. Peirce's 1866--1885 work.
Benjamin S. Hawkins
Notre Dame J. Formal Logic 16 (1), 109-115, (January 1975) DOI: 10.1305/ndjfl/1093891617 Open Access
KEYWORDS: 02-03
No abstract available
DOWNLOAD PAPER
Prior's criticism of the Barcan formula.
Tobias Chapman
Notre Dame J. Formal Logic 16 (1), 116-118, (January 1975) DOI: 10.1305/ndjfl/1093891618 Open Access
No abstract available
DOWNLOAD PAPER
The pragmatics of first order languages. II.
Albert Sweet
Notre Dame J. Formal Logic 16 (1), 119-131, (January 1975) DOI: 10.1305/ndjfl/1093891619 Open Access
KEYWORDS: 02J15, 02A05
No abstract available
DOWNLOAD PAPER
Corrigendum to my paper: ``Recognizable algebras of formulas''.
John Grant
Notre Dame J. Formal Logic 16 (1), 132, (January 1975) DOI: 10.1305/ndjfl/1093891620 Open Access
KEYWORDS: 02J99, 02B25
No abstract available
DOWNLOAD PAPER
Formulas with two generalized quantifiers.
Daniel Gogol
Notre Dame J. Formal Logic 16 (1), 133-136, (January 1975) DOI: 10.1305/ndjfl/1093891621 Open Access
KEYWORDS: 02B20
No abstract available
DOWNLOAD PAPER
Two identities for lattices, distributive lattices and modular lattices with a constant.
Saburo Tamura
Notre Dame J. Formal Logic 16 (1), 137-140, (January 1975) DOI: 10.1305/ndjfl/1093891622 Open Access
KEYWORDS: 06A20
No abstract available
DOWNLOAD PAPER
A short postulate-system for ortholattices.
Bolesław Sobociński
Notre Dame J. Formal Logic 16 (1), 141-144, (January 1975) DOI: 10.1305/ndjfl/1093891623 Open Access
KEYWORDS: 06A25
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 16, issue 1 (1975)
Notre Dame J. Formal Logic 16 (1), (January 1975) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top