No label defined (Q3937364)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1981
0 references
propositional calculus based on modus ponens and substitution rule
0 references
interpolation property
0 references
number of Lindenbaum's oversystems
0 references
disjunction property
0 references
number of elements in bases
0 references
minimal basis
0 references
consistency
0 references
