Alternative forms of propositional calculus for a given deduction theorem (Q1234670)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alternative forms of propositional calculus for a given deduction theorem |
scientific article |
Statements
Alternative forms of propositional calculus for a given deduction theorem (English)
0 references
1979
0 references
THREE-VALUED LOGIC
0 references
DEDUCATION THEOREM
0 references
COMBINATORY LOGIC
0 references
