Convex mappings of archimedean MV-algebras
Coproducts of Boolean algebras and chains with applications to Post algebras
Correction to the paper: A new look at pointfree metrization theorems
Corrigendum à l'article "Sur la construction de certaines MS-algèbres" (Port. Math., 39(1-4) (1980), 489-496)
Corrigendum and addendum to the paper "Generating subsets of distributive lattices".
Countable chains of distributive lattices as maximal semilattice quotients of positive cones of dimension groups
We construct a countable chain of Boolean semilattices, with all inclusion maps preserving the join and the bounds, whose union cannot be represented as the maximal semilattice quotient of the positive cone of any dimension group. We also construct a similar example with a countable chain of strongly distributive bounded semilattices. This solves a problem of F. Wehrung.
Cyclic ordered groups and MV-algebras
Deductive systems of BCK-algebras
In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator of a deductive system is the the pseudocomplement of . These results are more general than that the similar results given by M. Kondo in [7].
Definitions: the primitive concept of logics or The Leśniewski-Tarski legacy [Book]
Degeneration of Schubert varieties of to toric varieties
Using the polytopes defined in an earlier paper, we show in this paper the existence of degeneration of a large class of Schubert varieties of to toric varieties by extending the method used by Gonciulea and Lakshmibai for a miniscule to Schubert varieties in .
Derivations of MV-algebras.
Deux définitions des algèbres de Heyting trivalentes involutives
Diameters in locales: How bad they can be
Die Abgeschlossenheit der lexikographischen Summe in der Klasse distributiver Verbände
Die Kennzeichnung der beschränkten Brouwerschen Verbände
Die primitiven Klassen arithmetischer Ringe.
Dimension in algebraic frames
In an algebraic frame the dimension, , is defined, as in classical ideal theory, to be the maximum of the lengths of chains of primes , if such a maximum exists, and otherwise. A notion of “dominance” is then defined among the compact elements of , which affords one a primefree way to compute dimension. Various subordinate dimensions are considered on a number of frame quotients of , including the frames and of -elements and -elements, respectively. The more concrete illustrations...
Dimension in algebraic frames, II: Applications to frames of ideals in
This paper continues the investigation into Krull-style dimensions in algebraic frames. Let be an algebraic frame. is the supremum of the lengths of sequences of (proper) prime elements of . Recently, Th. Coquand, H. Lombardi and M.-F. Roy have formulated a characterization which describes the dimension of in terms of the dimensions of certain boundary quotients of . This paper gives a purely frame-theoretic proof of this result, at once generalizing it to frames which are not necessarily...
Dimensions of Distributive Lattices
Direct product decomposition of -algebras