Volume 30 Issue 3 | Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

VOL. 30 · NO. 3 | Summer 1989

< Previous Issue | Next Issue >

VIEW ALL ABSTRACTS +

Front Matter

Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 30, issue 3 (1989)

Notre Dame J. Formal Logic 30 (3), (Summer 1989) Open Access

No abstract available

Articles

Logical constants across varying types.

Johan van Benthem

Notre Dame J. Formal Logic 30 (3), 315-342, (Summer 1989) DOI: 10.1305/ndjfl/1093635152 Open Access

KEYWORDS: 03B65, 03A05, 03B70

No abstract available

Russell, logicism, and the choice of logical constants.

Michael Byrd

Notre Dame J. Formal Logic 30 (3), 343-361, (Summer 1989) DOI: 10.1305/ndjfl/1093635153 Open Access

KEYWORDS: 03-03, 01A60, 03A05

No abstract available

Logical constants as punctuation marks.

Kosta Došen

Notre Dame J. Formal Logic 30 (3), 362-381, (Summer 1989) DOI: 10.1305/ndjfl/1093635154 Open Access

KEYWORDS: 03F07, 03A05

No abstract available

Formatives.

George Englebretsen

Notre Dame J. Formal Logic 30 (3), 382-389, (Summer 1989) DOI: 10.1305/ndjfl/1093635155 Open Access

KEYWORDS: 03A05, 03B65

No abstract available

Logical constants and the glory of truth-conditional semantics.

William G. Lycan

Notre Dame J. Formal Logic 30 (3), 390-400, (Summer 1989) DOI: 10.1305/ndjfl/1093635156 Open Access

KEYWORDS: 03B65

No abstract available

Logical form and radical interpretation.

Tim McCarthy

Notre Dame J. Formal Logic 30 (3), 401-419, (Summer 1989) DOI: 10.1305/ndjfl/1093635157 Open Access

KEYWORDS: 03B65

No abstract available

The completeness of provable realizability.

G. E. Mints

Notre Dame J. Formal Logic 30 (3), 420-441, (Summer 1989) DOI: 10.1305/ndjfl/1093635158 Open Access

KEYWORDS: 03F50, 03B20

No abstract available

Propositional functions and families of types.

Jan M. Smith

Notre Dame J. Formal Logic 30 (3), 442-458, (Summer 1989) DOI: 10.1305/ndjfl/1093635159 Open Access

KEYWORDS: 03B15, 03F65, 68Q60

No abstract available

Truth table logic, with a survey of embeddability results.

Neil Tennant

Notre Dame J. Formal Logic 30 (3), 459-484, (Summer 1989) DOI: 10.1305/ndjfl/1093635160 Open Access

KEYWORDS: 03B20, 03F05

No abstract available

Back Matter

Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 30, issue 3 (1989)

Notre Dame J. Formal Logic 30 (3), (Summer 1989) Open Access

No abstract available

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS