Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 17 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 17 · NO. 3 | July 1976
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 17, issue 3 (1976)
Notre Dame J. Formal Logic 17 (3), (July 1976) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Epistemic logic with identifiers.
James McLelland
Notre Dame J. Formal Logic 17 (3), 321-343, (July 1976) DOI: 10.1305/ndjfl/1093887625 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A logic of belief.
Alex Blum
Notre Dame J. Formal Logic 17 (3), 344-348, (July 1976) DOI: 10.1305/ndjfl/1093887626 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Some remarks on metaphysics and the modal logics ${\bf F}^*{\bf F}$.
Robert L. Wilson
Notre Dame J. Formal Logic 17 (3), 349-360, (July 1976) DOI: 10.1305/ndjfl/1093887627 Open Access
KEYWORDS: 02C10, 02A05
No abstract available
DOWNLOAD PAPER
De quelques problèmes de la logique médiévale.
Olgierd Narbutt
Notre Dame J. Formal Logic 17 (3), 361-374, (July 1976) DOI: 10.1305/ndjfl/1093887628 Open Access
KEYWORDS: 02-03, 01A35
No abstract available
DOWNLOAD PAPER
What does Ockham mean by `supposition'?
Marilyn McCord Adams
Notre Dame J. Formal Logic 17 (3), 375-391, (July 1976) DOI: 10.1305/ndjfl/1093887629 Open Access
KEYWORDS: 02-03, 01A35
No abstract available
DOWNLOAD PAPER
Completeness of the algebra of species.
Jekeri Okee
Notre Dame J. Formal Logic 17 (3), 392-394, (July 1976) DOI: 10.1305/ndjfl/1093887630 Open Access
KEYWORDS: 02C15
No abstract available
DOWNLOAD PAPER
An analysis of the counterfactual conditional.
Howard C. Wasserman
Notre Dame J. Formal Logic 17 (3), 395-400, (July 1976) DOI: 10.1305/ndjfl/1093887631 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Modality as a meta-concept.
Graham Priest
Notre Dame J. Formal Logic 17 (3), 401-414, (July 1976) DOI: 10.1305/ndjfl/1093887632 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Direct analogues of the Sheffer stroke in $m$-valued logic.
Norman M. Martin
Notre Dame J. Formal Logic 17 (3), 415-420, (July 1976) DOI: 10.1305/ndjfl/1093887633 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
One dimension in PS and PSI.
Ivo Thomas
Notre Dame J. Formal Logic 17 (3), 421-423, (July 1976) DOI: 10.1305/ndjfl/1093887634 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Russell on the meaning of descriptions.
Stephen Croddy
Notre Dame J. Formal Logic 17 (3), 424-428, (July 1976) DOI: 10.1305/ndjfl/1093887635 Open Access
No abstract available
DOWNLOAD PAPER
A complete classification of three-place functors in two-valued logic.
J. C. Muzio
Notre Dame J. Formal Logic 17 (3), 429-437, (July 1976) DOI: 10.1305/ndjfl/1093887636 Open Access
KEYWORDS: 02B05, 94A20
No abstract available
DOWNLOAD PAPER
Note on an independence proof of Johansson.
E. A. Nemesszeghy
Notre Dame J. Formal Logic 17 (3), 438, (July 1976) DOI: 10.1305/ndjfl/1093887637 Open Access
KEYWORDS: 02C15, 02C05
No abstract available
DOWNLOAD PAPER
A deduction system for the full first-order predicate logic.
Hubert H. Schneider
Notre Dame J. Formal Logic 17 (3), 439-445, (July 1976) DOI: 10.1305/ndjfl/1093887638 Open Access
KEYWORDS: 02G10, 02B10
No abstract available
DOWNLOAD PAPER
Two notes on Ackermann's set theory.
John Lake
Notre Dame J. Formal Logic 17 (3), 446-448, (July 1976) DOI: 10.1305/ndjfl/1093887639 Open Access
KEYWORDS: 02K10, 02K05
No abstract available
DOWNLOAD PAPER
Monads for regular and normal spaces.
Robert Warren Button
Notre Dame J. Formal Logic 17 (3), 449-456, (July 1976) DOI: 10.1305/ndjfl/1093887640 Open Access
KEYWORDS: 54J05
No abstract available
DOWNLOAD PAPER
An arithmetical reconstruction of the liar's antinomy using addition and multiplication.
Giorgio Germano
Notre Dame J. Formal Logic 17 (3), 457-461, (July 1976) DOI: 10.1305/ndjfl/1093887641 Open Access
KEYWORDS: 02G20, 02F50
No abstract available
DOWNLOAD PAPER
The modalities of $KT4_nMG$.
J. B. Beard
Notre Dame J. Formal Logic 17 (3), 462-464, (July 1976) DOI: 10.1305/ndjfl/1093887642 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A model-theoretic semantics for modal logic.
John Paulos
Notre Dame J. Formal Logic 17 (3), 465-468, (July 1976) DOI: 10.1305/ndjfl/1093887643 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Venn diagrams extended: map logic.
John Rybak, Janet Rybak
Notre Dame J. Formal Logic 17 (3), 469-475, (July 1976) DOI: 10.1305/ndjfl/1093887644 Open Access
KEYWORDS: 02J05, 94A20
No abstract available
DOWNLOAD PAPER
Alternative notations for Principia Mathematica description theory: possible modifications.
Jordan Howard Sobel
Notre Dame J. Formal Logic 17 (3), 476-478, (July 1976) DOI: 10.1305/ndjfl/1093887645 Open Access
KEYWORDS: 02B15
No abstract available
DOWNLOAD PAPER
On a modal system of R. A. Bull's
Dolph Ulrich
Notre Dame J. Formal Logic 17 (3), 479-480, (July 1976) DOI: 10.1305/ndjfl/1093887646 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 17, issue 3 (1976)
Notre Dame J. Formal Logic 17 (3), (July 1976) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top