Further Results on Proof Theories For Semilattice Logics (Q3030795)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Publication:3030795 |
scientific article; zbMATH DE number 4019022
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Further Results on Proof Theories For Semilattice Logics |
scientific article; zbMATH DE number 4019022 |
Statements
Further Results on Proof Theories For Semilattice Logics (English)
0 references
1988
0 references
contractionless logics
0 references
distributive semilattices
0 references
semilattice relevant logics
0 references
commutative monoid
0 references
0.9399418830871582
0 references
0.8567794561386108
0 references
0.8461401462554932
0 references
0.7980209589004517
0 references
