The IKt-algebras were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. In this paper, our main interest is to investigate the principal and Boolean ...

Investigations into the structure of the congruence lattices of pseudocomplemented semilattices (PCS's) were initiated in [10]. In this paper a we characterize the class of congruence-semimodular PCS's (i.e. PCS's ...

We study four types of equational definability of factor congruences in varieties with 0 → and 1 →. The paper completes the work of a previous paper on left equational definability of factor congruences.

Introduction: Multisensory audiovisual semantic congruency is the process by which visual information is perceived as integrated to auditory stimuli, because both coincide in terms of simultaneity and semantic correspondence. ...

In this note we give some new characterizations of distributivity of a nearlattice and we study annihilator-preserving congruence relations.

In this paper we give conditions on an implication algebra A so that two congruences θ1, θ2 on A permute, i.e. θ1 ○ θ2 = θ2 ○ θ1. We also provide simpler conditions for permutability in finite implication algebras. Finally ...