Concepedia

A formal system of first-order predicate calculus with infinitely long expressions

Shôji Maehara, Gaisi Takeuti

Journal of the Mathematical Society of Japan · 1961 · 19 citations · 3 references

DOIFull text

Open access

Concepts

References

3

Linear reasoning. A new form of the Herbrand-Gentzen theorem

William Craig · Journal of Symbolic Logic · 1957 · 457 citations

, , +10

The sentential calculus with infinitely long expressions

David A. Scott, Alfred Tarski · Colloquium Mathematicum · 1958 · 47 citations · Full text

, , +3

The predicate calculus with $\epsilon$ -symbol.

Shôji Maehara · Journal of the Mathematical Society of Japan · 1955 · 18 citations · Full text

, , +3