A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model (Q5445322)
From MaRDI portal
scientific article; zbMATH DE number 5242297
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model |
scientific article; zbMATH DE number 5242297 |
Statements
A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model (English)
0 references
4 March 2008
0 references
