Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 30 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 30 · NO. 1 | Winter 1989
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 30, issue 1 (1989)
Notre Dame J. Formal Logic 30 (1), (Winter 1989) Open Access
No abstract available
DOWNLOAD PAPER
Articles
More about thoughts.
Michael Dummett
Notre Dame J. Formal Logic 30 (1), 1-19, (Winter 1989) DOI: 10.1305/ndjfl/1093634993 Open Access
KEYWORDS: 03A05, 01A60
No abstract available
DOWNLOAD PAPER
Notes on modal definability.
Johan van Benthem
Notre Dame J. Formal Logic 30 (1), 20-35, (Winter 1989) DOI: 10.1305/ndjfl/1093634994 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Multiset theory.
Wayne D. Blizard
Notre Dame J. Formal Logic 30 (1), 36-66, (Winter 1989) DOI: 10.1305/ndjfl/1093634995 Open Access
KEYWORDS: 03E70, 05A05
No abstract available
DOWNLOAD PAPER
A constructivism based on classical truth.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti
Notre Dame J. Formal Logic 30 (1), 67-90, (Winter 1989) DOI: 10.1305/ndjfl/1093634996 Open Access
KEYWORDS: 03F50, 03B45
No abstract available
DOWNLOAD PAPER
The theory of descriptions revisited.
Alberto Peruzzi
Notre Dame J. Formal Logic 30 (1), 91-104, (Winter 1989) DOI: 10.1305/ndjfl/1093634997 Open Access
KEYWORDS: 03B10, 03C90
No abstract available
DOWNLOAD PAPER
``Pathologies'' in two syntactic categories of partial maps.
Franco Montagna
Notre Dame J. Formal Logic 30 (1), 105-116, (Winter 1989) DOI: 10.1305/ndjfl/1093634998 Open Access
KEYWORDS: 03D20, 03D75, 03F30, 03G30, 18D99
No abstract available
DOWNLOAD PAPER
On the structure of De Morgan monoids with corollaries on relevant logic and theories.
John K. Slaney
Notre Dame J. Formal Logic 30 (1), 117-129, (Winter 1989) DOI: 10.1305/ndjfl/1093634999 Open Access
KEYWORDS: 03G25, 03B45
No abstract available
DOWNLOAD PAPER
Some modal logics based on a three-valued logic.
Osamu Morikawa
Notre Dame J. Formal Logic 30 (1), 130-137, (Winter 1989) DOI: 10.1305/ndjfl/1093635000 Open Access
KEYWORDS: 03B45, 03B50
No abstract available
DOWNLOAD PAPER
The elementary theory of the natural lattice is finitely axiomatizable.
Patrick Cegielski
Notre Dame J. Formal Logic 30 (1), 138-150, (Winter 1989) DOI: 10.1305/ndjfl/1093635001 Open Access
KEYWORDS: 03C65, 03B30, 06B05
No abstract available
DOWNLOAD PAPER
Correction
Correction to: ``Survey of generalizations of Urquhart semantics''
R. A. Bull
Notre Dame J. Formal Logic 30 (1), 151-153, (Winter 1989) Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Errata for volumes 29, 28, 14.
Notre Dame J. Formal Logic 30 (1), 151-153, (Winter 1989) Open Access
No abstract available
DOWNLOAD PAPER
Corrigendum to: ``Diagonalization and the recursion theorem''.
James C. Owings Jr.
Notre Dame J. Formal Logic 30 (1), 153, (Winter 1989) Open Access
KEYWORDS: 03F40
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 30, issue 1 (1989)
Notre Dame J. Formal Logic 30 (1), (Winter 1989) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top