trematodes are important in economic and public health. ornithobilharzia turkestanicum (o. turkestanicum) is one of the important economic trematodes in domestic animals. ornithobilharzia infection in intermediate host (lymnaea gedrosiana ) can be detected by either exposing snails to light to induce cercarial shedding or by squeezing them between glass slides to detect parasites. the current a...

background: diagnosis of some diseases is difficult due to invasive sampling. urine has been candi-date as a non-invasive and convenient alternative. it has many advantages and easy accessibility but some technical ills should be removed. finding a suitable extraction method for improving urine dna quantity and quality in altering invasive specimens for molecular diagnosis of some infectious di...

Fitting’s indexed nested sequents can be used to give deductive systems to modal logics which cannot be captured by pure nested sequents. In this paper we show how the standard cut-elimination procedure for nested sequents can be extended to indexed nested sequents, and we discuss how indexed nested sequents can be used for intuitionistic modal logics.

We see how nested sequents, a natural generalisation of hypersequents, allow us to develop a systematic proof theory for modal logics. As opposed to other prominent formalisms, such as the display calculus and labelled sequents, nested sequents stay inside the modal language and allow for proof systems which enjoy the subformula property in the literal sense. In the first part we study a system...