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...

In this paper, a numerical method for integration of fuzzy functions is considered. Fuzzy Newton-Cotes formula, such as fuzzy trapezoidal method and fuzzy Simpson method are calculated by integration of fuzzy functions on two and three equally space points. Also the composite fuzzy trapezoidal and composite fuzzy Simpson method are proposed for n equally space points. The proposed method are il...

Geometrically structured interfaces in nature possess enhanced, and often surprising, mechanical properties, and provide inspiration for materials design. This paper investigates the mechanics of deformation and failure mechanisms of suture interface designs through analytical models and experiments on 3D printed polymer physical prototypes. Suture waveforms with generalized trapezoidal geometr...

We explore an intimate connection between Young tableaux and representations of the symmetric group. We describe the construction of Specht modules which are irreducible representations of Sn, and also highlight some interesting results such as the branching rule and Young’s rule.

Following the ideas of Liniger and Willoughby (although acting along different lines), a new family of schemes, derived from the trapezoidal rule, is developed, which enables the fitting of the scheme to arbitrary sets of equations.

Let p and q be two points in a simple polygon Π. This chapter provides two rubberband algorithms for computing a shortest path between p and q that is contained in Π. The two algorithms use previously known results on triangular or trapezoidal decompositions of simple polygons, and have either O (n) or O (n log n) time complexity (where the super-linear time complexity is only due to preprocess...

The error in the trapezoidal rule quadrature formula can be attributed to discretization in the interior and non-periodicity at the boundary. Using a contour integral, we derive a unified bound for the combined error from both sources for analytic integrands. The bound gives the Euler–Maclaurin formula in one limit and the geometric convergence of the trapezoidal rule for periodic analytic func...

In this paper we introduce an approach for solving multiattribute decision-making problems in which there are several decision-makers who individually and independently elicit their preferences. The preferences of each decision-maker are imprecise and represented by an imprecise additive multiattribute utility function. We allow for incomplete information on the component utility functions and ...