We study the following problem: determine which almost structurally complete quasivarieties are structurally complete. We propose a general solution to this problem and then a solution in the semisimple case. As a consequence, ...

We prove a variant of Läuchli's completeness theorem for intuitionistic predicate calculus. The formulation of the result relies on the observation (due to Lawvere) that Läuchli's theorem is related to the logic of the ...

During the acquisition of electroencephalographic (EEG) signals, data may be missing or corrupted by noise and artifacts. To reconstruct the incomplete data, EEG signals are firstly converted into a three-order tensor ...

Tarski algebras, also known as implication algebras or semi-boolean algebras, are the {→}-subreducts of Boolean algebras. In this paper we shall introduce and study the complete and atomic Tarski algebras. We shall prove ...

The importance of the completeness of a set of solutions used in a direct variational method is herein discussed regarding a plate vibration application. The property is relevant to two issues: the claim of an “exact” ...

We characterize the categories with finite limits whose exact completions are toposes and discuss some examples and counter-examples.