AF-algebras with lattice-ordered K0: Logic and computation

Annals of Pure and Applied Logic 174 (1):103182 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103182

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.Francesco Paoli, Matthew Spinks & Robert Veroff - 2008 - Logica Universalis 2 (2):209-233.
An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
Join-completions of partially ordered algebras.José Gil-Férez, Luca Spada, Constantine Tsinakis & Hongjun Zhou - 2020 - Annals of Pure and Applied Logic 171 (10):102842.
Geometry of Robinson consistency in Łukasiewicz logic.Manuela Busaniche & Daniele Mundici - 2007 - Annals of Pure and Applied Logic 147 (1):1-22.
A characterization of MV-algebras free over finite distributive lattices.Vincenzo Marra - 2008 - Archive for Mathematical Logic 47 (3):263-276.
Generalizations of Boolean products for lattice-ordered algebras.Peter Jipsen - 2010 - Annals of Pure and Applied Logic 161 (2):228-234.
Lattice-ordered Abelian groups and perfect mv-algebras: A topos-theoretic perspective.Olivia Caramello & Anna Carla Russo - 2016 - Bulletin of Symbolic Logic 22 (2):170-214.
Residuated Expansions of Lattice-Ordered Structures.Majid Alizadeh & Hiroakira Ono - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 93-116.
On Birkhoff’s Common Abstraction Problem.F. Paoli & C. Tsinakis - 2012 - Studia Logica 100 (6):1079-1105.
The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains.Radomír Halaš - 2008 - Studia Logica 89 (1):19-35.
Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
Boolean Skeletons of MV-algebras and ℓ-groups.Roberto Cignoli - 2011 - Studia Logica 98 (1-2):141-147.
Quasivarieties of Modules Over Path Algebras of Quivers.Keith A. Kearnes - 2006 - Studia Logica 83 (1-3):333-349.
Pure Hilbert Algebras with Infimum.Aldo Figallo Jr - 2007 - Logic Journal of the IGPL 15 (5-6):527-533.
Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.

Analytics

Added to PP
2022-08-19

Downloads
15 (#952,044)

6 months
7 (#439,668)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
Beth definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
What the łukasiewicz axioms mean.Daniele Mundici - 2020 - Journal of Symbolic Logic 85 (3):906-917.
An Introduction to the General Theory of Algorithms.Michael Machtey & Paul Young - 1981 - Journal of Symbolic Logic 46 (4):877-878.

View all 7 references / Add more references