Abstract. Let L be a lattice and M a bounded distributive lattice. Let ConL denote the congruence lattice of L, P (M) the Priestley dual space of M , and L (M) the lattice of continuous order-preserving maps from P (M) to L with the discrete topology. It is shown that Con(L ) ∼= (ConL) P (ConM) Λ , the lattice of continuous order-preserving maps from P (ConM) to ConL with the Lawson topology. V...

In this paper, we solve an open problem in an special case. The problem is to give a characterization for Heyting algebras by means of fractions. Here, we give a representation for a class of Heyting algebras by means of fractions. Fractions on a bounded distributive lattice is a new algebraic structure, which was recently studied by the authors. Mathematics Subject Classification: 06Axx, 06Dxx

In the paper we introduce the notion of →-irreducibility and we show that the set of all →-irreducible elements of a finite Heyting lattice L forms the skeleton of L. We also discuss a parallel concept of ↔-irreducibility and give a similar characterization. Finally, we present generalizations of these results for some class of infinite Heyting lattices.

Part One of this paper is a case against classical mereology and for Heyting mereology. This case proceeds by first undermining the appeal of classical mereology and then showing how it fails to cohere with our intuitions about a measure of quantity. Part Two shows how Heyting mereology provides an account of sets and classes without resort to any nonmereological primitive.

There is a well known interplay between the study of algebraic varieties and propositional calculus of various logics. Prime examples of this are boolean algebras and classical logic, and Heyting algebras and intuitionistic logic. After the class of Heyting algebras was generalized to the semi-Heyting algebras by H. Sankappanavar in [San08], its logic counterpart was developed by one of us in [...

If the influence of visual-motor integration (copying forms) on the quality of handwriting has been widely investigated, the influence of eye-hand coordination (tracing item) has been less well analyzed. The Concise Assessment Scale for Children’s Handwriting (BHK), the Developmental Test of Visual Perception (DTVP-2), and the section “Manual Dexterity” of the Movement Assessment Battery for Ch...

The variety DQD of semi-Heyting algebras with a weak negation, called dually quasi-De Morgan operation, and several of its subvarieties were investigated in the series [31], [32], [33], and [34]. In this paper we define and investigate a new subvariety JID of DQD, called “JI-distributive, dually quasi-De Morgan semi-Heyting algebras”, defined by the identity: x ∨ (y → z) ≈ (x ∨ y) → (x ∨ z), as...

This paper studies some properties of the so-called semilattice-based logics (which are defined in a standard way using only the order relation from a variety of algebras that have a semilattice reduct with maximum) under the assumption that its companion assertional logic (defined from the same variety of algebras using the top element as representing truth) is algebraizable. This describes a ...