On two fragments with negation and without implication of the logic of residuated lattices (Q2501164)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5051259
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On two fragments with negation and without implication of the logic of residuated lattices |
scientific article; zbMATH DE number 5051259 |
Statements
On two fragments with negation and without implication of the logic of residuated lattices (English)
0 references
4 September 2006
0 references
substructural logics
0 references
pseudocomplemented monoids
0 references
algebraizable logics
0 references
residuated lattices
0 references
Gentzen systems
0 references
deductive systems
0 references
sequent calculus
0 references
algebraic semantics
0 references
0 references
0 references
0.8220236301422119
0 references
0.7953675985336304
0 references
0.7853788733482361
0 references
0.7814806699752808
0 references
