Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 29 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 29 · NO. 3 | Summer 1988
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 29, issue 3 (1988)
Notre Dame J. Formal Logic 29 (3), (Summer 1988) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Semantical analysis of superrelevant predicate logics with quantification.
Mirosław Szatkowski
Notre Dame J. Formal Logic 29 (3), 281-294, (Summer 1988) DOI: 10.1305/ndjfl/1093637929 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Pointwise definable substructures of models of Peano arithmetic.
Roman Murawski
Notre Dame J. Formal Logic 29 (3), 295-308, (Summer 1988) DOI: 10.1305/ndjfl/1093637930 Open Access
KEYWORDS: 03H15, 03C62
No abstract available
DOWNLOAD PAPER
Nonstandard connectives of intuitionistic propositional logic.
Michael Kaminski
Notre Dame J. Formal Logic 29 (3), 309-331, (Summer 1988) DOI: 10.1305/ndjfl/1093637931 Open Access
KEYWORDS: 03B20
No abstract available
DOWNLOAD PAPER
Concerning some cylindric algebra versions of the downward Löwenheim-Skolem theorem.
Ildikó Sain
Notre Dame J. Formal Logic 29 (3), 332-344, (Summer 1988) DOI: 10.1305/ndjfl/1093637932 Open Access
KEYWORDS: 03G15
No abstract available
DOWNLOAD PAPER
Topological duality for diagonalizable algebras.
Claudio Bernardi, Paola D'Aquino
Notre Dame J. Formal Logic 29 (3), 345-364, (Summer 1988) DOI: 10.1305/ndjfl/1093637933 Open Access
KEYWORDS: 03G05, 03G25, 06E15
No abstract available
DOWNLOAD PAPER
On the logic of continuous algebras.
Jiří Adámek, Alan H. Mekler, Evelyn Nelson, Jan Reiterman
Notre Dame J. Formal Logic 29 (3), 365-380, (Summer 1988) DOI: 10.1305/ndjfl/1093637934 Open Access
KEYWORDS: 03B60, 03C05, 03G25, 08A99
No abstract available
DOWNLOAD PAPER
Preliminary notes on a new modal syllogistic.
George Englebretsen
Notre Dame J. Formal Logic 29 (3), 381-395, (Summer 1988) DOI: 10.1305/ndjfl/1093637935 Open Access
KEYWORDS: 03B45, 03A05, 03B65
No abstract available
DOWNLOAD PAPER
Simplicity.
Victor Pambuccian
Notre Dame J. Formal Logic 29 (3), 396-411, (Summer 1988) DOI: 10.1305/ndjfl/1093637936 Open Access
KEYWORDS: 03A05, 03B10, 03B30, 20A10, 51M05
No abstract available
DOWNLOAD PAPER
A unified approach to relative interpolation.
Dennis Duchhart
Notre Dame J. Formal Logic 29 (3), 412-419, (Summer 1988) DOI: 10.1305/ndjfl/1093637937 Open Access
KEYWORDS: 03C75, 03C40
No abstract available
DOWNLOAD PAPER
Infima of recursively enumerable truth table degrees.
Peter A. Fejer, Richard A. Shore
Notre Dame J. Formal Logic 29 (3), 420-437, (Summer 1988) DOI: 10.1305/ndjfl/1093637938 Open Access
KEYWORDS: 03D30, 03D25
No abstract available
DOWNLOAD PAPER
An ``almost classical'' period-based tense logic.
Michael J. White
Notre Dame J. Formal Logic 29 (3), 438-453, (Summer 1988) DOI: 10.1305/ndjfl/1093637939 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 29, issue 3 (1988)
Notre Dame J. Formal Logic 29 (3), (Summer 1988) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top