On weakening the Deduction Theorem and strengthening Modus Ponens (Q4736759)
From MaRDI portal
scientific article; zbMATH DE number 2081821
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On weakening the Deduction Theorem and strengthening Modus Ponens |
scientific article; zbMATH DE number 2081821 |
Statements
On weakening the Deduction Theorem and strengthening Modus Ponens (English)
0 references
6 August 2004
0 references
Hilbert algebra
0 references
quasi-Hilbert algebra
0 references
deduction theorem
0 references
modus ponens
0 references
implicative algebra
0 references
Gentzen system
0 references
positive implicative logic
0 references
