Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 19 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 19 · NO. 4 | October 1978
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 19, issue 4 (1978)
Notre Dame J. Formal Logic 19 (4), (October 1978) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Provably recursive real numbers.
William J. Collins
Notre Dame J. Formal Logic 19 (4), 513-522, (October 1978) DOI: 10.1305/ndjfl/1093888500 Open Access
KEYWORDS: 03D20, 03F60
No abstract available
DOWNLOAD PAPER
Model theoretical investigation of theorem proving methods.
T. Gergely, K. P. Vershinin
Notre Dame J. Formal Logic 19 (4), 523-542, (October 1978) DOI: 10.1305/ndjfl/1093888501 Open Access
KEYWORDS: 03B35, 03C75, 68G15
No abstract available
DOWNLOAD PAPER
More logics without tautologies.
Leo Simons
Notre Dame J. Formal Logic 19 (4), 543-557, (October 1978) DOI: 10.1305/ndjfl/1093888502 Open Access
KEYWORDS: 03B20
No abstract available
DOWNLOAD PAPER
A modal logic with temporal variables.
Tobias Chapman
Notre Dame J. Formal Logic 19 (4), 558-578, (October 1978) DOI: 10.1305/ndjfl/1093888503 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
John Buridan on the liar: a study and reconstruction.
Paul Vincent Spade
Notre Dame J. Formal Logic 19 (4), 579-590, (October 1978) DOI: 10.1305/ndjfl/1093888504 Open Access
KEYWORDS: 03-03, 01A35
No abstract available
DOWNLOAD PAPER
The ontological theorem.
Charles D. Brown
Notre Dame J. Formal Logic 19 (4), 591-592, (October 1978) DOI: 10.1305/ndjfl/1093888505 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
The ideal of orderable subsets of a set.
John L. Hickman
Notre Dame J. Formal Logic 19 (4), 593-598, (October 1978) DOI: 10.1305/ndjfl/1093888506 Open Access
KEYWORDS: 03E35
No abstract available
DOWNLOAD PAPER
Multiple quantification and the use of special quantifiers in early sixteenth century logic.
E. J. Ashworth
Notre Dame J. Formal Logic 19 (4), 599-613, (October 1978) DOI: 10.1305/ndjfl/1093888507 Open Access
KEYWORDS: 01A40, 03-03
No abstract available
DOWNLOAD PAPER
Aristotle on the subject of predication.
George Englebretsen
Notre Dame J. Formal Logic 19 (4), 614-616, (October 1978) DOI: 10.1305/ndjfl/1093888508 Open Access
KEYWORDS: 03A05, 01A20, 03-03
No abstract available
DOWNLOAD PAPER
The eliminability of the actuality operator in propositional modal logic.
Allen Hazen
Notre Dame J. Formal Logic 19 (4), 617-622, (October 1978) DOI: 10.1305/ndjfl/1093888509 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Putting ${\cal K}$ in its place.
George F. Schumm
Notre Dame J. Formal Logic 19 (4), 623-628, (October 1978) DOI: 10.1305/ndjfl/1093888510 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A second-order axiomatic theory of strings.
Howard C. Wasserman
Notre Dame J. Formal Logic 19 (4), 629-633, (October 1978) DOI: 10.1305/ndjfl/1093888511 Open Access
KEYWORDS: 03D05, 68C01, 68F05
No abstract available
DOWNLOAD PAPER
An incompleteness theorem for conditional logic.
Donald Nute
Notre Dame J. Formal Logic 19 (4), 634-636, (October 1978) DOI: 10.1305/ndjfl/1093888512 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
An additional remark on self-conjugate functions of Boolean algebras.
Thomas A. Sudkamp
Notre Dame J. Formal Logic 19 (4), 637-638, (October 1978) DOI: 10.1305/ndjfl/1093888513 Open Access
KEYWORDS: 06E05
No abstract available
DOWNLOAD PAPER
A generalization of combinatorial operators.
Anna Silverstein
Notre Dame J. Formal Logic 19 (4), 639-645, (October 1978) DOI: 10.1305/ndjfl/1093888514 Open Access
KEYWORDS: 03D50
No abstract available
DOWNLOAD PAPER
A semantics for a weak free logic.
Ermanno Bencivenga
Notre Dame J. Formal Logic 19 (4), 646-652, (October 1978) DOI: 10.1305/ndjfl/1093888515 Open Access
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
Uncertainties over distribution dispelled.
William H. Friedman
Notre Dame J. Formal Logic 19 (4), 653-662, (October 1978) DOI: 10.1305/ndjfl/1093888516 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Some remarks on Quine's arguments against modal logic.
John Robert Baker
Notre Dame J. Formal Logic 19 (4), 663-673, (October 1978) DOI: 10.1305/ndjfl/1093888517 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Axioms for generalized Newman algebras.
R. Beazer
Notre Dame J. Formal Logic 19 (4), 674-678, (October 1978) DOI: 10.1305/ndjfl/1093888518 Open Access
KEYWORDS: 03G25
No abstract available
DOWNLOAD PAPER
A note on the $Q$-topology.
Robert Warren Button
Notre Dame J. Formal Logic 19 (4), 679-686, (October 1978) DOI: 10.1305/ndjfl/1093888519 Open Access
KEYWORDS: 54J05, 03H20, 54G20
No abstract available
DOWNLOAD PAPER
The finite model property for ${\bf MIPQ}$ and some consequences.
Gisèle Fischer-Servi
Notre Dame J. Formal Logic 19 (4), 687-692, (October 1978) DOI: 10.1305/ndjfl/1093888520 Open Access
KEYWORDS: 03B45, 03B55
No abstract available
DOWNLOAD PAPER
Effective inner product spaces.
Northrup Fowler III
Notre Dame J. Formal Logic 19 (4), 693-701, (October 1978) DOI: 10.1305/ndjfl/1093888521 Open Access
KEYWORDS: 03D45
No abstract available
DOWNLOAD PAPER
Commutativity of generalized ordinals.
John L. Hickman
Notre Dame J. Formal Logic 19 (4), 702-704, (October 1978) DOI: 10.1305/ndjfl/1093888522 Open Access
KEYWORDS: 04A10, 06A05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 19, issue 4 (1978)
Notre Dame J. Formal Logic 19 (4), (October 1978) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top