A relational semantics for the logic of bounded lattices (Q5227167)
From MaRDI portal
scientific article; zbMATH DE number 7088848
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A relational semantics for the logic of bounded lattices |
scientific article; zbMATH DE number 7088848 |
Statements
A relational semantics for the logic of bounded lattices (English)
0 references
5 August 2019
0 references
logic of bounded lattice
0 references
polarity
0 references
two-sorted frame
0 references
relational semantics
0 references
0 references
0 references
