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