Volume 17; Issue 2

1

Lambda-calculus terms that reduce to themselves.

Year:
1976
Language:
english
File:
PDF, 163 KB
english, 1976
2

A question about incompleteness.

Year:
1976
Language:
english
File:
PDF, 237 KB
english, 1976
3

A short equational axiomatization of orthomodular lattices.

Year:
1976
Language:
english
File:
PDF, 310 KB
english, 1976
4

Consistency of $n$-order logics.

Year:
1976
Language:
english
File:
PDF, 596 KB
english, 1976
5

The distribution of terms.

Year:
1976
Language:
english
File:
PDF, 508 KB
english, 1976
6

A further examination of Saccheri's use of the ``consequentia mirabilis''.

Year:
1976
Language:
english
File:
PDF, 846 KB
english, 1976
7

Effective density types.

Year:
1976
Language:
english
File:
PDF, 485 KB
english, 1976
8

Significance logics.

Year:
1976
Language:
english
File:
PDF, 2.07 MB
english, 1976
9

A criticism of Sommers' language tree.

Year:
1976
Language:
english
File:
PDF, 342 KB
english, 1976
10

Axiom sets equivalent to syllogism and Peirce.

Year:
1976
Language:
english
File:
PDF, 119 KB
english, 1976
11

A criticism of Sommers' language tree.

Year:
1976
File:
PDF, 342 KB
1976
12

Axiom sets equivalent to syllogism and Peirce.

Year:
1976
File:
PDF, 119 KB
1976
13

A note on the adequacy of translations.

Year:
1976
File:
PDF, 191 KB
1976