We consider a labelled tableau presentation of constant domain rst-order S5 and prove a strong cut-elimination theorem.

Decision making is an important issue in business and project management that assists finding the optimal alternative from a number of feasible alternatives. Decision making requires adequate consideration of uncertainty in projects. In this paper, in order to address uncertainty of project environments, interval type-2 fuzzy sets (IT2FSs) are used. In other words, the rating of each alternativ...

Previous research has shown that the identification of visual objects can rely on both view-dependent, holistic as well as view-independent, analytic representation, depending on visual attention. Here, we asked whether the initial conscious detection of objects reveals similar dependencies and may therefore share similar perceptual mechanisms. We used continuous flash suppression to render obj...

The Accreditation Board for Engineering and Technology in 2000 revised accreditation criteria to require program assessment according to eleven outcomes that all require critical thinking skills. Critical thinking can be incorporated into engineering classes in a variety of ways including writing assignments, active learning strategies, project-based design experiences, and course redesign. Cle...