No label defined (Q4944912)
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 1420844
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1420844 |
Statements
25 October 2000
0 references
\(M\)-valued maps
0 references
GL-algebra
0 references
two-sided quantale
0 references
idempotency
0 references
negation
0 references
truth arrow
0 references
category of sheaves
0 references
MV-algebra
0 references
0.90541756
0 references
0.8923838
0 references
0.8870795
0 references
0.8863106
0 references
0.88302034
0 references
0.8821777
0 references
0.8805433
0 references
0.88034403
0 references
Let \(M=(L,\leq,*)\) be a GL-algebra; i.e., \(M\) is a strictly two-sided quantale satisfying the following additional axioms, which can be viewed as a weakened version of the law of idempotency: \[ (D_1)\qquad \forall (\alpha, \beta)\in L\times L\text{ with }\beta \leq\alpha,\;\exists \gamma \in L\text{ s.t. }\alpha* \gamma=\beta. \] \[ (D_2)\qquad \alpha*(\wedge A)=\bigwedge_{\beta \in A}(\alpha* \beta),\quad \forall A\subseteq L. \] The purpose of this paper is to characterize classifiable subsheaves over \(M\) by strict and extensional \(M\)-valued maps. In particular, Łukasiewicz's negation appears as truth arrow in the category of sheaves over the MV-algebra \(M=([0,1],\leq,\odot)\). For the entire collection see [Zbl 0932.00038].
0 references
