Volume 16; Issue 3

Notre Dame Journal of Formal Logic

Volume 16; Issue 3
1

A formalization of ``nothing''.

Horwich, Paul
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
Language:
english
File:
PDF, 593 KB
english, 1975
2

Peirce's paradoxical solution to the Liar's Paradox.

Michael, Emily
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
Language:
english
File:
PDF, 555 KB
english, 1975
3

A theorem on recursively enumerable vector spaces.

Guhl, Richard
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
Language:
english
File:
PDF, 506 KB
english, 1975
4

Note of the use of sequences in Logics and languages (Methuen, London, 1973).

Cresswell, Max J.
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
Language:
english
File:
PDF, 357 KB
english, 1975
5

Implication connectives in orthomodular lattices.

Herman, L., Marsden, E. L., Piziak, R.
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
Language:
english
File:
PDF, 1.93 MB
english, 1975
6

Theories of types and ordered pairs.

Cooley, John E.
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
Language:
english
File:
PDF, 256 KB
english, 1975
7

Computability on finite linear configurations.

Payne, Thomas H.
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
Language:
english
File:
PDF, 297 KB
english, 1975
8

$S_1\not=S0.9$.

Girle, Roderic A.
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
Language:
english
File:
PDF, 481 KB
english, 1975
9

Nonstandard probability.

Webb, S. Michael
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
Language:
english
File:
PDF, 418 KB
english, 1975
11

$S_1\not=S0.9$.

Girle, Roderic A.
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
File:
PDF, 481 KB
1975
12

Nonstandard probability.

Webb, S. Michael
Journal:
Notre Dame Journal of Formal Logic
Year:
1975
File:
PDF, 418 KB
1975