A well-known problem in intuitionistic logic is the existence of valid but not derivable rules. This problem seems to be related with some constructive features of intuitionism (disjunction and existence property) but appear also in modal logics. We study here a particular case of this phenomenon, admissible rules in propositional calculus. G.E.Mints in [Mi 72] give sufficients conditions for a...

Recent studies on frequent itemset mining algorithms resulted in significant performance improvements. However, if the minimal support threshold is set too low, or the data is highly correlated, the number of frequent itemsets itself can be prohibitively large. To overcome this problem, recently several proposals have been made to construct a concise representation of the frequent itemsets, ins...

The Lorentz group is the fundamental language for space-time symmetries of relativistic particles. This group can these days be derived from the symmetries observed in other branches of physics. It is shown that this group can be derived from optical filters. The group O(2,1) is appropriate for attenuation filters, while the O(3) group describes phase-shift filters. The combined operation leads...

Jordan faces an unreasonably complex refugee situation, as it is hosting the second largest proportion of refugees in world relative to number citizens, and fifth absolute terms. Since outbreak political violence Syria 2011, government estimates that Syrians residing be a population 1.4 million, which includes people who left before war. beginning Syrian crisis, Hashemite Kingdom has initiated ...

Coronavirus (COVID-19) has captured the attention of globe very rapidly. Therefore, predicting spread disease become an indispensable process, this is being due to its extremely infectious nature and negative effects that some courses actions, which were taken minimize disease, have on economy key sectors (e.g., health, pharmaceutical industrial sectors). in research work, nonlinear autoregress...

1. Faculty of Nursing, Philadelphia University, Amman, Jordan 2. Faculty of Nursing, Jordan University of Science and Technology, Irbid, Jordan 3. Faculty of Nursing, Irbid National University, Irbid, Jordan 4. Faculty of Nursing, Al-AlBayt University, Al-Mafraq, Jordan 5. Faculty of Nursing, Applied Science Private University, Amman, Jordan 6. Faculty of Allied Medical Science, Jordan Universi...

We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programming (CCP, [Sar93]) as a fragment of (intuitionistic, higher-order) logic. This combination is motivated by the need for a simple executable, logical presentation for static and dynamic semantics of modern programming languages. T...

We answer a question which, so far, was left an open problem: does— in terms of derivable string languages—the type of a minimalist grammar (MG) as originally introduced in Stabler 1997 defines a proper superclass of the revised type of an MG and, therefore, the type of a strict MG both introduced in Stabler 1999, and known to be weakly equivalent? For both the revised as well as the strict MG-...