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)
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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)
No abstract available
DOWNLOAD PAPER
Back to Top