On Logical Extension of Algebraic Division

On One-Sided Ideals of Rings of Linear Transformations

Algebraic Pattern Matching in Join Calculus

We propose an extension of the join calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to provide an intuitive semantics of the interaction between concurrency and pattern matching; to define a practical compilation scheme from extended join definitions into ordinary ones plus ML pattern matching. To assess the correctness of our compilation scheme, we de...

Extension principles for interval-valued intuitionistic fuzzy sets and algebraic operations

The Atanassov’s intuitionistic fuzzy (IF) set theory has become a popular topic of investigation in the fuzzy set community. However, there is less investigation on the representation of level sets and extension principles for interval-valued intuitionistic fuzzy (IVIF) sets as well as algebraic operations. In this paper, firstly the representation theorem of IVIF sets is proposed by using the ...

Logical s-t Min-Cut Problem: An Extension to the Classic s-t Min-Cut Problem

Let $G$ be a weighted digraph, $s$ and $t$ be two vertices of $G$, and $t$ is reachable from $s$. The logical $s$-$t$ min-cut (LSTMC) problem states how $t$ can be made unreachable from $s$ by removal of some edges of $G$ where (a) the sum of weights of the removed edges is minimum and (b) all outgoing edges of any vertex of $G$ cannot be removed together. If we ignore the second constraint, ca...

Effect of Services and Facilities of Tobacco Companies Ion Tobacco Crop in Malakand Division, Pakistan

The present research is conducted to find out the services and facilities of tobacco companies in promotion of tobacco crop in Malakand division of Khyber Pakhtunkhwa, Pakistan. A multi-stage sampling technique applied for selection sample size. In this method, 135 tobacco growers were selected from fifteen villages of tobacco growers. The principle researcher interviewed selected respondents f...