No label defined (Q4887109)
From MaRDI portal
scientific article; zbMATH DE number 912320
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 912320 |
Statements
1 August 1996
0 references
Kripke semantics
0 references
substructural logics with weakening
0 references
logics with BCK implication
0 references
maximally disjoint filter-ideal pairs
0 references
representation lattice
0 references
canonical Kripke model
0 references