An algebraic formulation of $K-N$ propositional calculus (Q5551109)
From MaRDI portal
scientific article; zbMATH DE number 3266570
Language | Label | Description | Also known as |
---|---|---|---|
English | An algebraic formulation of $K-N$ propositional calculus |
scientific article; zbMATH DE number 3266570 |
Statements
An algebraic formulation of $K-N$ propositional calculus (English)
0 references
1966
0 references
general logic
0 references