Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 20 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 20 · NO. 1 | January 1979
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 20, issue 1 (1979)
Notre Dame J. Formal Logic 20 (1), (January 1979) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Recursive equivalence types on recursive manifolds.
Leon W. Harkleroad
Notre Dame J. Formal Logic 20 (1), 1-31, (January 1979) DOI: 10.1305/ndjfl/1093882398 Open Access
KEYWORDS: 03D50, 03D45
No abstract available
DOWNLOAD PAPER
Extensional equivalence of simple and general utilitarian principles.
Donald E. Nute
Notre Dame J. Formal Logic 20 (1), 32-36, (January 1979) DOI: 10.1305/ndjfl/1093882399 Open Access
KEYWORDS: 90A10
No abstract available
DOWNLOAD PAPER
Theory of objects and set theory: introduction and semantics.
André Chauvin
Notre Dame J. Formal Logic 20 (1), 37-54, (January 1979) DOI: 10.1305/ndjfl/1093882400 Open Access
KEYWORDS: 03E30
No abstract available
DOWNLOAD PAPER
On unsolvability in subrecursive classes of predicates.
Forbes D. Lewis
Notre Dame J. Formal Logic 20 (1), 55-67, (January 1979) DOI: 10.1305/ndjfl/1093882401 Open Access
KEYWORDS: 03D20, 03D05, 03D15
No abstract available
DOWNLOAD PAPER
Negation as a sign of negative judgment.
Kent Bendall
Notre Dame J. Formal Logic 20 (1), 68-76, (January 1979) DOI: 10.1305/ndjfl/1093882402 Open Access
KEYWORDS: 03B10, 03A05
No abstract available
DOWNLOAD PAPER
A general propositional logic of conditionals.
Scott Lehmann
Notre Dame J. Formal Logic 20 (1), 77-83, (January 1979) DOI: 10.1305/ndjfl/1093882403 Open Access
KEYWORDS: 03B60, 03A05
No abstract available
DOWNLOAD PAPER
Peirce on the nature of logic.
Frederick Michael, Emily Michael
Notre Dame J. Formal Logic 20 (1), 84-88, (January 1979) DOI: 10.1305/ndjfl/1093882404 Open Access
KEYWORDS: 03-03, 01A55, 03A05
No abstract available
DOWNLOAD PAPER
Axiomatics for implication.
David Meredith
Notre Dame J. Formal Logic 20 (1), 89-91, (January 1979) DOI: 10.1305/ndjfl/1093882405 Open Access
KEYWORDS: 03B55, 03B20
No abstract available
DOWNLOAD PAPER
The principle of the division into four figures in traditional logic.
Demetrius J. Hadgopoulos
Notre Dame J. Formal Logic 20 (1), 92-94, (January 1979) DOI: 10.1305/ndjfl/1093882406 Open Access
KEYWORDS: 03-03, 01A20
No abstract available
DOWNLOAD PAPER
A simple generalization of Turing computability.
William J. Thomas
Notre Dame J. Formal Logic 20 (1), 95-102, (January 1979) DOI: 10.1305/ndjfl/1093882407 Open Access
KEYWORDS: 03D75, 03D10
No abstract available
DOWNLOAD PAPER
Modus tollens.
Richard Bosley
Notre Dame J. Formal Logic 20 (1), 103-111, (January 1979) DOI: 10.1305/ndjfl/1093882408 Open Access
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
A shortened proof of Sobociński's theorem concerning a restricted rule of substitution in the field of propositional calculi.
Charles H. Lambros
Notre Dame J. Formal Logic 20 (1), 112-114, (January 1979) DOI: 10.1305/ndjfl/1093882409 Open Access
KEYWORDS: 03B05
No abstract available
DOWNLOAD PAPER
Domain restrictions in standard deductive logic.
Peter Swiggart
Notre Dame J. Formal Logic 20 (1), 115-129, (January 1979) DOI: 10.1305/ndjfl/1093882410 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Quantification, domains of discourse, and existence.
Thomas G. Nedzynski
Notre Dame J. Formal Logic 20 (1), 130-140, (January 1979) DOI: 10.1305/ndjfl/1093882411 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
The extended calculus of indications interpreted as a three-valued logic.
Francisco J. Varela
Notre Dame J. Formal Logic 20 (1), 141-146, (January 1979) DOI: 10.1305/ndjfl/1093882412 Open Access
KEYWORDS: 03B50
No abstract available
DOWNLOAD PAPER
The possibility of a conditional logic.
James R. Bode
Notre Dame J. Formal Logic 20 (1), 147-154, (January 1979) DOI: 10.1305/ndjfl/1093882413 Open Access
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
On the logic of ``few'', ``many'', and ``most''.
Philip L. Peterson
Notre Dame J. Formal Logic 20 (1), 155-179, (January 1979) DOI: 10.1305/ndjfl/1093882414 Open Access
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
The axiomatisation of theories of material necessity.
J. P. Cleave
Notre Dame J. Formal Logic 20 (1), 180-190, (January 1979) DOI: 10.1305/ndjfl/1093882415 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Aristotle on predication: an analysis of Anal. Post. 83a.
Kwame Gyekye
Notre Dame J. Formal Logic 20 (1), 191-195, (January 1979) DOI: 10.1305/ndjfl/1093882416 Open Access
KEYWORDS: 03-03, 01A20
No abstract available
DOWNLOAD PAPER
Semi-monotone series of ordinals.
John L. Hickman
Notre Dame J. Formal Logic 20 (1), 196-200, (January 1979) DOI: 10.1305/ndjfl/1093882417 Open Access
KEYWORDS: 04A10
No abstract available
DOWNLOAD PAPER
The completeness of Stoic propositional logic.
Ian Mueller
Notre Dame J. Formal Logic 20 (1), 201-215, (January 1979) DOI: 10.1305/ndjfl/1093882418 Open Access
KEYWORDS: 03B20, 01A20, 03-03
No abstract available
DOWNLOAD PAPER
The binary representation of $m$-valued logic with applications to universal decision elements.
John Loader
Notre Dame J. Formal Logic 20 (1), 216-226, (January 1979) DOI: 10.1305/ndjfl/1093882419 Open Access
KEYWORDS: 03B50, 94C10
No abstract available
DOWNLOAD PAPER
Alternative axiomatizations of elementary probability theory.
William K. Goosens
Notre Dame J. Formal Logic 20 (1), 227-239, (January 1979) DOI: 10.1305/ndjfl/1093882420 Open Access
KEYWORDS: 60A05, 03B30
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 20, issue 1 (1979)
Notre Dame J. Formal Logic 20 (1), (January 1979) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top