scholarly journals An analysis of the logic of Riesz spaces with strong unit

2018 ◽  
Vol 169 (3) ◽  
pp. 216-234 ◽  
Author(s):  
Antonio Di Nola ◽  
Serafina Lapenta ◽  
Ioana Leuştean
Keyword(s):  
2015 ◽  
Vol 65 (4) ◽  
Author(s):  
D. Diaconescu ◽  
I. Leuștean

AbstractMV-algebras and Riesz MV-algebras are categorically equivalent to abelian lattice-ordered groups with strong unit and, respectively, with Riesz spaces (vector-lattices) with strong unit. A standard construction in the literature of lattice-ordered groups is the vector-lattice hull of an archimedean latticeordered group. Following a similar approach, in this paper we define the Riesz hull of a semisimple MV-algebra.


Author(s):  
Olivia Caramello

This chapter discusses several classical as well as new examples of theories of presheaf type from the perspective of the theory developed in the previous chapters. The known examples of theories of presheaf type that are revisited in the course of the chapter include the theory of intervals (classified by the topos of simplicial sets), the theory of linear orders, the theory of Diers fields, the theory of abstract circles (classified by the topos of cyclic sets) and the geometric theory of finite sets. The new examples include the theory of algebraic (or separable) extensions of a given field, the theory of locally finite groups, the theory of vector spaces with linear independence predicates and the theory of lattice-ordered abelian groups with strong unit.


Positivity ◽  
2020 ◽  
Vol 24 (2) ◽  
pp. 505-505
Author(s):  
Anke Kalauch ◽  
Onno van Gaans ◽  
Feng Zhang

1989 ◽  
Vol 105 (3) ◽  
pp. 523-536 ◽  
Author(s):  
G. Buskes ◽  
A. van Rooij

Many facts in the theory of general Riesz spaces are easily verified by thinking in terms of spaces of functions. A proof via this insight is said to use representation theory. In recent years a growing number of authors has successfully been trying to bypass representation theorems, judging them to be extraneous. (See, for instance, [9,10].) In spite of the positive aspects of these efforts the following can be said. Firstly, avoiding representation theory does not always make the facts transparent. Reading the more cumbersome constructions and procedures inside the Riesz space itself one feels the need for a pictorial representation with functions, and one suspects the author himself of secret heretical thoughts. Secondly, the direct method leads to repeating constructions of the same nature over and over again.


2011 ◽  
Vol 9 (3) ◽  
pp. 283-304 ◽  
Author(s):  
A. Boccuto ◽  
D. Candeloro ◽  
A. R. Sambucini

A Fubini-type theorem is proved, for the Kurzweil-Henstock integral of Riesz-space-valued functions defined on (not necessarily bounded) subrectangles of the “extended” real plane.


Sign in / Sign up

Export Citation Format

Share Document