Finite axiomatizability of logics of distributive lattices with negation (Q6111084)
From MaRDI portal
scientific article; zbMATH DE number 7708099
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite axiomatizability of logics of distributive lattices with negation |
scientific article; zbMATH DE number 7708099 |
Statements
Finite axiomatizability of logics of distributive lattices with negation (English)
0 references
6 July 2023
0 references
finite axiomatizability
0 references
lattices with negation
0 references
Ockham algebras
0 references
semi-De Morgan algebras
0 references
Berman varieties
0 references
pseudo-complemented lattices
0 references
