For any amalgam (S, T; U) of inverse semigroups, it is shown that the natural partial order on S *u T, the (inverse semigroup) free product of S and T amalgamating U, has a simple form onSUT. In particular, it follows that the semilattice of 5 *u T is a bundled semilattice of the corresponding semilattice amalgam (E(S), E(T); E(U)); taken jointly with a result of Teruo Imaoka, this gives that t...

We show that the profinite completions and canonical extensions of bounded distributive lattices and of Boolean algebras coincide. We characterize dual spaces of canonical extensions of bounded distributive lattices and of Heyting algebras in terms of Nachbin order-compactifications. We give the dual description of the profinite completion ̂ H of a Heyting algebra H, and characterize the dual sp...

The aim of this work is the formalization of Chapter 0 Section 4 of [11]. In this paper the definition of meet-continuous lattices is introduced. Theorem 4.2 and Remark 4.3 are proved. Let X, Y be non empty sets, let f be a function from X into Y , and let Z be a non empty subset of X. One can verify that f • Z is non empty. Let us note that every non empty relational structure which is reflexi...

Let S, T be semilattices. Let us assume that if S is upper-bounded, then T is upper-bounded. A map from S into T is said to be a semilattice morphism from S into T if: (Def. 1) For every finite subset X of S holds it preserves inf of X. Let S, T be semilattices. One can check that every map from S into T which is meet-preserving is also monotone. Let S be a semilattice and let T be an upper-bou...

In this paper we survey some recent developments in duality for lattices with additional operations paying special attention to Heyting algebras and the connections to Esakia’s work in this area. In the process we analyse the Heyting implication in the setting of canonical extensions both as a property of the lattice and as an additional operation. We describe Stone duality as derived from cano...

The semilattice relevant logics ∪R, ∪T, ∪RW, and ∪TW (slightly different from the orthodox relevant logics R, T, RW, and TW) are defined by “semilattice models” in which conjunction and disjunction are interpreted in a natural way. In this paper, we prove the equivalence between “LK-style” and “LJ-style” labelled sequent calculi for these logics. (LKstyle sequents have plural succedents, while ...

This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...

We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x∨¬¬x = 1, preserves filtering (or directed) unification, that is, the property that for every two unifiers there is a unifier more general then both of them. Contrary to that, often adding new operations to algebras results in changing the unification type. To pr...

Usual normalization by evaluation techniques have a strong relationship with completeness with respect to Kripke structures. But Kripke structures is not the only semantics that ts intuitionistic logic: Heyting algebras are a more algebraic alternative. In this paper, we focus on this less investigated area: how completeness with respect to Heyting algebras generate a normalization algorithm fo...