Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 31 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 31 · NO. 2 | Spring 1990
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 31, issue 2 (1990)
Notre Dame J. Formal Logic 31 (2), (Spring 1990) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Relevance and paraconsistency---a new approach. II. The formal systems.
Arnon Avron
Notre Dame J. Formal Logic 31 (2), 169-202, (Spring 1990) DOI: 10.1305/ndjfl/1093635414 Open Access
KEYWORDS: 03B46, 03B53
No abstract available
DOWNLOAD PAPER
Validity and satisfaction in imperative logic.
Krister Segerberg
Notre Dame J. Formal Logic 31 (2), 203-221, (Spring 1990) DOI: 10.1305/ndjfl/1093635415 Open Access
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
A lemma in the logic of action.
Timothy J. Surendonk
Notre Dame J. Formal Logic 31 (2), 222-224, (Spring 1990) DOI: 10.1305/ndjfl/1093635416 Open Access
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
The modal logic of pure provability.
Samuel R. Buss
Notre Dame J. Formal Logic 31 (2), 225-231, (Spring 1990) DOI: 10.1305/ndjfl/1093635417 Open Access
KEYWORDS: 03B45, 03F30, 03F40
No abstract available
DOWNLOAD PAPER
Two hypergraph theorems equivalent to ${\rm BPI}$.
Robert H. Cowen
Notre Dame J. Formal Logic 31 (2), 232-240, (Spring 1990) DOI: 10.1305/ndjfl/1093635418 Open Access
KEYWORDS: 03E25, 05C65
No abstract available
DOWNLOAD PAPER
Complexity for type-$2$ relations.
Mike Townsend
Notre Dame J. Formal Logic 31 (2), 241-262, (Spring 1990) DOI: 10.1305/ndjfl/1093635419 Open Access
KEYWORDS: 03D65, 03D15, 68Q15
No abstract available
DOWNLOAD PAPER
Natural deduction in normal modal logic.
John Hawthorn
Notre Dame J. Formal Logic 31 (2), 263-273, (Spring 1990) DOI: 10.1305/ndjfl/1093635420 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Models for inconsistent and incomplete differential calculus.
Chris Mortensen
Notre Dame J. Formal Logic 31 (2), 274-285, (Spring 1990) DOI: 10.1305/ndjfl/1093635421 Open Access
KEYWORDS: 03B53, 03B60
No abstract available
DOWNLOAD PAPER
Verification, falsification, and cancellation in ${\rm KT}$.
Timothy Williamson
Notre Dame J. Formal Logic 31 (2), 286-290, (Spring 1990) DOI: 10.1305/ndjfl/1093635422 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
The homogeneous form of logic programs with equality.
William Demopoulos
Notre Dame J. Formal Logic 31 (2), 291-303, (Spring 1990) DOI: 10.1305/ndjfl/1093635423 Open Access
KEYWORDS: 68T25, 03B70
No abstract available
DOWNLOAD PAPER
A note on the axiomatization of equational classes of $n$-valued Ł ukasiewicz algebras.
M. E. Adams, R. Cignoli
Notre Dame J. Formal Logic 31 (2), 304-307, (Spring 1990) DOI: 10.1305/ndjfl/1093635424 Open Access
KEYWORDS: 08B15, 03G20, 06D30
No abstract available
DOWNLOAD PAPER
Logics of truth.
Raymond Turner
Notre Dame J. Formal Logic 31 (2), 308-329, (Spring 1990) DOI: 10.1305/ndjfl/1093635425 Open Access
KEYWORDS: 03B40, 03A05
No abstract available
DOWNLOAD PAPER
On generalizations of a theorem of Vaught.
Balázs Biró
Notre Dame J. Formal Logic 31 (2), 330-336, (Spring 1990) DOI: 10.1305/ndjfl/1093635426 Open Access
KEYWORDS: 03G15, 03C15
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 31, issue 2 (1990)
Notre Dame J. Formal Logic 31 (2), (Spring 1990) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top