Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 23 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 23 · NO. 4 | October 1982
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 23, issue 4 (1982)
Notre Dame J. Formal Logic 23 (4), (October 1982) Open Access
No abstract available
DOWNLOAD PAPER
Articles
A relational representation of quasi-Boolean algebras.
J. Michael Dunn
Notre Dame J. Formal Logic 23 (4), 353-357, (October 1982) DOI: 10.1305/ndjfl/1093870147 Open Access
KEYWORDS: 06D30, 03G10
No abstract available
DOWNLOAD PAPER
Indenumerability and substitutional quantification.
Philip Hugly, Charles Sayward
Notre Dame J. Formal Logic 23 (4), 358-366, (October 1982) DOI: 10.1305/ndjfl/1093870148 Open Access
KEYWORDS: 03B10, 03C15
No abstract available
DOWNLOAD PAPER
Axioms for tense logic. I. ``Since'' and ``until''.
John P. Burgess
Notre Dame J. Formal Logic 23 (4), 367-374, (October 1982) DOI: 10.1305/ndjfl/1093870149 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Axioms for tense logic. II. Time periods.
John P. Burgess
Notre Dame J. Formal Logic 23 (4), 375-383, (October 1982) DOI: 10.1305/ndjfl/1093870150 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Nonstandard propositional logics and their application to complexity theory.
Michael Evangelist
Notre Dame J. Formal Logic 23 (4), 384-392, (October 1982) DOI: 10.1305/ndjfl/1093870151 Open Access
KEYWORDS: 03B05, 03B35, 03D15, 03F20, 68C25
No abstract available
DOWNLOAD PAPER
A note on initial segment constructions in recursively saturated models of arithmetic.
C. Smoryński
Notre Dame J. Formal Logic 23 (4), 393-408, (October 1982) DOI: 10.1305/ndjfl/1093870152 Open Access
KEYWORDS: 03C62, 03C57, 03F30, 03H15
No abstract available
DOWNLOAD PAPER
The expected complexity of analytic tableaux analyses in propositional calculus.
J. M. Plotkin, John W. Rosenthal
Notre Dame J. Formal Logic 23 (4), 409-426, (October 1982) DOI: 10.1305/ndjfl/1093870153 Open Access
KEYWORDS: 03D15, 03B05, 03B35, 68C25
No abstract available
DOWNLOAD PAPER
Automorphisms of $\omega$-octahedral graphs.
J. C. E. Dekker
Notre Dame J. Formal Logic 23 (4), 427-434, (October 1982) DOI: 10.1305/ndjfl/1093870154 Open Access
KEYWORDS: 03D50, 05C25, 20B27, 20F32
No abstract available
DOWNLOAD PAPER
Material equivalence and tautological entailment.
A. J. Dale
Notre Dame J. Formal Logic 23 (4), 435-442, (October 1982) DOI: 10.1305/ndjfl/1093870155 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Commutativity and self-reference.
C. Smoryński
Notre Dame J. Formal Logic 23 (4), 443-452, (October 1982) DOI: 10.1305/ndjfl/1093870156 Open Access
KEYWORDS: 03B45, 03F30, 03F40
No abstract available
DOWNLOAD PAPER
Syllogisms with reduplication in Aristotle.
Allan Bäck
Notre Dame J. Formal Logic 23 (4), 453-458, (October 1982) DOI: 10.1305/ndjfl/1093870157 Open Access
KEYWORDS: 03-03, 01A20, 03B20
No abstract available
DOWNLOAD PAPER
Expressibility in two-dimensional languages for presupposition.
Merrie Bergmann
Notre Dame J. Formal Logic 23 (4), 459-470, (October 1982) DOI: 10.1305/ndjfl/1093870158 Open Access
KEYWORDS: 03B50, 03B45
No abstract available
DOWNLOAD PAPER
A note on the principle of predication.
Giangiacomo Gerla
Notre Dame J. Formal Logic 23 (4), 471-472, (October 1982) DOI: 10.1305/ndjfl/1093870159 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 23, issue 4 (1982)
Notre Dame J. Formal Logic 23 (4), (October 1982) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top