Geometric theories are presented as contractionand cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato (1998). Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically d...

If Visser’s rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate logics for which not all of Visser’s rules are admissible is not known. Here we study the situation for specific intermediate logics. We provide natural examples of logics for which Visser’s rule are derivable, admissible b...

We define a type theory with a strong elimination rule for existential quantification. As in Martin-Löf’s type theory, the “axiom of choice” is thus derivable. Proofs are also annotated by realizers which are simply typed λ-terms. A new rule called “type extraction” which extract the type of a realizer allows us to derive the so-called “independance of premisses” schema. Consequently, any formu...

1 Department of Pharmaceutical Sciences, Faculty of Pharmacy, the University of Jordan, Amman, Jordan. 2 Department of Pharmacology and Biomedical Sciences, Faculty of Pharmacy and Medical Sciences, Petra University, Amman, Jordan. 3 Department of Biopharmaceutics and Clinical Pharmacy, Faculty of Pharmacy, the University of Jordan, Amman, Jordan. 4 Department of Pharmaceutics and Pharmaceutica...

Jordan University of Science and Technology (Irbid, Jordan), Research Triangle Institute (North Carolina, USA) and Virgina Polytechnic Institute and State University (Virgina, USA) were granted an R21 planning grant funded by FDA, USA through an International Cooperative Biodiversity Group (ICBG) program to study the Hashemite Kingdom of Jordan’s flora and soil microorganism as a source of new ...

We introduce three models of probabilistic processes, namely, reactive, generative and strati ed. These models are investigated within the context of PCCS, an extension of Milner's SCCS in which each summand of a process summation expression is guarded by a probability and the sum of these probabilities is 1. For each model we present a structural operational semantics of PCCS and a notion of b...

A new cucullanid nematode, Dichelyne mexicanus sp. n., is described from the intestine of three species of fishes, Agonostomus monticola (Bancroft) (Mugilidae, Perciformes) (type host), Ictalurus balsanus (Jordan et Snyder) (Ictaluridae, Siluriformes) and Cichlasoma beani (Jordan) (Cichlidae, Perciformes), from three rivers (La Maquina River, Veracruz; Chontalcoatlán River, Guerrero and Santiag...