On categorical equivalences of commutative BCK-algebras
Studia Logica 64 (1):21-36 (2000)
| Abstract | A commutative BCK-algebra with the relative cancellation property is a commutative BCK-algebra (X;*,0) which satisfies the condition: if a ≤ x, a ≤ y and x * a = y * a, then x = y. Such BCK-algebras form a variety, and the category of these BCK-algebras is categorically equivalent to the category of Abelian ℓ-groups whose objects are pairs (G, G 0), where G is an Abelian ℓ-group, G 0 is a subset of the positive cone generating G + such that if u, v ∈ G 0, then 0 ∨ (u - v) ∈ G 0, and morphisms are ℓ-group homomorphisms h: (G, G 0) → (G′,G′0) with f(G 0) ⫅ G′0. Our methods in particular cases give known categorical equivalences of Cornish for conical BCK-algebras and of Mundici for bounded commutative BCK-algebras (= MV-algebras). | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesP. Aglianò, I. M. A. Ferreirim & F. Montagna (2007). Basic Hoops: An Algebraic Study of Continuous T -Norms. Studia Logica 87 (1):73 - 98.
Misao Nagayama (1992). On Boolean Algebras and Integrally Closed Commutative Regular Rings. Journal of Symbolic Logic 57 (4):1305-1318.
Antonio Di Nola & Ada Lettieri (1994). Perfect MV-Algebras Are Categorically Equivalent to Abelian L-Groups. Studia Logica 53 (3):417 - 432.
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Anatolij Dvurečenskij (2001). States on Pseudo MV-Algebras. Studia Logica 68 (3):301-327.
Wolfgang Rump & Yichuan Yang (2011). A Note on Bosbach's Cone Algebras. Studia Logica 98 (3):375-386.
Francisco M. García Olmedo & Antonio J. Rodríguez Salas (2000). Linearization of the BCK-Logic. Studia Logica 65 (1):31-51.
Francisco M. García Olmedo & Antonio J. Rodríguez Salas (2000). Linearization of the BCK-Logic. Studia Logica 65 (1):31-51.
Misao Nagayama (1994). On a Property of BCK-Identities. Studia Logica 53 (2):227 - 234.
Anatolij Dvurečenskij & Hee Sik Kim (1998). Connections Between BCK-Algebras and Difference Posetse. Studia Logica 60 (3):421-439.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,107 of 549,754 )Recent downloads (6 months)1 ( #63,425 of 549,754 )How can I increase my downloads? |
My notes
Discussion
