Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 34 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 34 · NO. 2 | Spring 1993
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 34, issue 2 (1993)
Notre Dame J. Formal Logic 34 (2), (Spring 1993) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Remarks on strong nonstructure theorems.
Tapani Hyttinen, Saharon Shelah, Heikki Tuuri
Notre Dame J. Formal Logic 34 (2), 157-168, (Spring 1993) DOI: 10.1305/ndjfl/1093634649 Open Access
KEYWORDS: 03C45
No abstract available
DOWNLOAD PAPER
The world, the facts, and primary logic.
Fred Sommers
Notre Dame J. Formal Logic 34 (2), 169-182, (Spring 1993) DOI: 10.1305/ndjfl/1093634650 Open Access
KEYWORDS: 03A05, 01A45, 03-03
No abstract available
DOWNLOAD PAPER
Stable groups, mostly of finite exponent.
Frank O. Wagner
Notre Dame J. Formal Logic 34 (2), 183-192, (Spring 1993) DOI: 10.1305/ndjfl/1093634651 Open Access
KEYWORDS: 03C45, 03C60, 20A15
No abstract available
DOWNLOAD PAPER
Apodeictic ecthesis.
Paul Thom
Notre Dame J. Formal Logic 34 (2), 193-208, (Spring 1993) DOI: 10.1305/ndjfl/1093634652 Open Access
KEYWORDS: 03B20, 01A20, 03-03
No abstract available
DOWNLOAD PAPER
Nonclassical syllogistic inference and the method of resolution.
Aris Noah
Notre Dame J. Formal Logic 34 (2), 209-222, (Spring 1993) DOI: 10.1305/ndjfl/1093634653 Open Access
KEYWORDS: 03B35, 01A20, 03-03, 03B20
No abstract available
DOWNLOAD PAPER
On closed elementary cuts in recursively saturated models of Peano arithmetic.
Bożena Piekart
Notre Dame J. Formal Logic 34 (2), 223-230, (Spring 1993) DOI: 10.1305/ndjfl/1093634654 Open Access
KEYWORDS: 03C57, 03C62
No abstract available
DOWNLOAD PAPER
BCK and BCI logics, condensed detachment and the $2$-property.
J. Roger Hindley
Notre Dame J. Formal Logic 34 (2), 231-250, (Spring 1993) DOI: 10.1305/ndjfl/1093634655 Open Access
KEYWORDS: 03B60, 03B40
No abstract available
DOWNLOAD PAPER
Extensions of the $\aleph_0$-valued Ł ukasiewicz propositional logic.
M. G. Beavers
Notre Dame J. Formal Logic 34 (2), 251-262, (Spring 1993) DOI: 10.1305/ndjfl/1093634656 Open Access
KEYWORDS: 03G20, 03B50
No abstract available
DOWNLOAD PAPER
Quantified modal logics of positive rational numbers and some related systems.
Giovanna Corsi
Notre Dame J. Formal Logic 34 (2), 263-283, (Spring 1993) DOI: 10.1305/ndjfl/1093634657 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Isomorphisms of finite cylindric set algebras of characteristic zero.
György Serény
Notre Dame J. Formal Logic 34 (2), 284-294, (Spring 1993) DOI: 10.1305/ndjfl/1093634658 Open Access
KEYWORDS: 03G15, 03B10
No abstract available
DOWNLOAD PAPER
A tableau style proof system for two paraconsistent logics.
Anthony Bloesch
Notre Dame J. Formal Logic 34 (2), 295-301, (Spring 1993) DOI: 10.1305/ndjfl/1093634659 Open Access
KEYWORDS: 03B53, 03B46, 03B50
No abstract available
DOWNLOAD PAPER
Reviews
Book Review: T. E. Forster. Set theory with a universal set: Exploring an untyped universe.
Richard Kaye
Notre Dame J. Formal Logic 34 (2), 302-309, (Spring 1993) DOI: 10.1305/ndjfl/1093634660 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 34, issue 2 (1993)
Notre Dame J. Formal Logic 34 (2), (Spring 1993) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top