Concepedia

A normalization-procedure for the first order classical natural deduction with full logical symbols

Yuuki Andou

Tsukuba Journal of Mathematics · 1995 · 45 citations · 3 references

DOIFull text

Open access

Concepts

References

3

Normalization theorems for full first order classical natural deduction

Gunnar Stålmarck · Journal of Symbolic Logic · 1991 · 77 citations

, , +12

Normalization and excluded middle. I

Jonathan P. Seldin · Studia Logica · 1989 · 53 citations

, , +3

On the proof theory of the intermediate logic MH

Jonathan P. Seldin · Journal of Symbolic Logic · 1986 · 22 citations

, , +15