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 ...

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 ...

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.

Let V be a complete discrete valuation ring with residue field k of positive characteristic and with fraction field K of characteristic 0. We clarify the analysis behind the Monsky–Washnitzer completion of a commutative ...