In his well-known paper \How computer should think" ((Be77b]) Belnap argues that four valued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the four-valued structure has among Ginsberg's well-known bilattices is similar to the role that the two-valued algebra has among Boolean algebras. Speciically, w...

We show that three-dimensional incoherent primary sources can be reconstructed from finite-aperture Fresnel-zone mutual intensity measurements by means of coordinate and Fourier transformation. The spatial bandpass and impulse response for three-dimensional imaging that result from use of this approach are derived. The transverse and longitudinal resolutions are evaluated as functions of apertu...

This work investigates first-language (L1) influence on second-language (L2) acquisition of embedded aspect, comparing participants with homogeneous L1 background (Russian) in Greece (L2 Standard Modern Greek) and Cyprus (L2 Cypriot Greek), where verb complementation takes a finite form instead of an infinitival as in Russian. The focus of the experimental study is on those embedded sentential ...

Axiomatic bases of admissible rules are obtained for fragments of the substructural logic R-mingle. In particular, it is shown that a “modus-ponens-like” rule introduced by Arnon Avron forms a basis for the admissible rules of its implication and implication-fusion fragments, while a basis for the admissible rules of the full multiplicative fragment requires an additional countably infinite set...

Some 350 Trichoderma isolates were obtained from soil samples collected from different parts of Iran. Cultures were purified on 2% water agar by hyphal tip method prior to identification. Obtained isolates were identified using morphological features including colony characters (pigmentation and growth rate on PDA) and microscopic characters such as shape of conidiophores, shape and size of con...

Background: Since the introduction of the first radioimmunoassay, several improvements have been made in the design of immunoassays such as method of antibody production, labeling, automation and detection technology. We performed an analytical evaluation of the new electrochemiluminescent immunoassay (ECLIA) for serum TSH, FT4 and T3 in the Elecsys 2010 immunoassay system and compared the resu...

The quality loss function developed by Genichi Taguchi considers three cases, nominal-thebest, smaller-the-better, and larger-the-better. The methodology used to deal with the larger-thebetter case is slightly different than the other two cases. This research employs a term called target-mean ratio to propose a common formula for all three cases to bring about similarity among them. The target-...