Uniqueness of normal proofs of minimal formulas (Q4276021)
From MaRDI portal
scientific article; zbMATH DE number 488030
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Uniqueness of normal proofs of minimal formulas |
scientific article; zbMATH DE number 488030 |
Statements
Uniqueness of normal proofs of minimal formulas (English)
0 references
7 July 1994
0 references
normal form
0 references
BCK
0 references
normal proof
0 references
minimal formula
0 references
provable formulas
0 references
substitution relation
0 references
NJ
0 references
NK
0 references
