A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property (Q4777279)
From MaRDI portal
scientific article; zbMATH DE number 3453583
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property |
scientific article; zbMATH DE number 3453583 |
Statements
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property (English)
0 references
1974
0 references
