Volume 31; Issue 2

Notre Dame Journal of Formal Logic

Volume 31; Issue 2

1

Verification, falsification, and cancellation in ${\rm KT}$.

Williamson, Timothy

Journal:

Notre Dame Journal of Formal Logic

Year:

1990

Language:

english

File:

PDF, 586 KB

english, 1990

2

Models for inconsistent and incomplete differential calculus.

Mortensen, Chris

Journal:

Notre Dame Journal of Formal Logic

Year:

1990

Language:

english

File:

PDF, 1.31 MB

english, 1990

3

Relevance and paraconsistency---a new approach. II. The formal systems.

Journal:

Notre Dame Journal of Formal Logic

Year:

1990

Language:

english

File:

PDF, 3.37 MB

english, 1990

4

Validity and satisfaction in imperative logic.

Segerberg, Krister

Journal:

Notre Dame Journal of Formal Logic

Year:

1990

Language:

english

File:

PDF, 1.92 MB

english, 1990

5

Two hypergraph theorems equivalent to ${\rm BPI}$.

Cowen, Robert H.

Journal:

Notre Dame Journal of Formal Logic

Year:

1990

Language:

english

File:

PDF, 945 KB

english, 1990

6

The modal logic of pure provability.

Buss, Samuel R.

Journal:

Notre Dame Journal of Formal Logic

Year:

1990

Language:

english

File:

PDF, 712 KB

english, 1990

7

A note on the axiomatization of equational classes of $n$-valued Ł ukasiewicz algebras.

Adams, M. E., Cignoli, R.

Journal:

Notre Dame Journal of Formal Logic

Year:

1990

Language:

english

File:

PDF, 361 KB

english, 1990

8

Natural deduction in normal modal logic.

Journal:

Notre Dame Journal of Formal Logic

Year:

1990

Language:

english

File:

PDF, 1.09 MB

english, 1990