In Gerla [2000] a fuzzy logic in narrow sense is proposed as a theoretical framework for triangular norm based fuzzy control. In this note we show that the resulting theory is also able to express the implicationbased fuzzy control. Introduction The aim of control theory is to define a function f : X → Y whose intended meaning is that f(x) is the correct answer given the input x. Fuzzy approach...

We present here an overview of our unified, bi-scale theory of gravitational and strong interactions [which is mathematically analogous to the last version of N. Rosen’s bi-metric theory, and yields physical results similar to those of strong gravity]. This theory, developed during the last 20 years, is purely geometrical in nature, adopting the methods of General Relativity for the description...

We propose a new bi-intuitionistic type theory called Dualized Type Theory (DTT). It is a type theory with perfect intuitionistic duality, and corresponds to a single-sided polarized sequent calculus. We prove DTT strongly normalizing, and prove type preservation. DTT is based on a new propositional bi-intuitionistic logic called Dualized Intuitionistic Logic (DIL) that builds on Pinto and Uust...

This paper describes one approach for calculating the cohomology of a particular complex which arises in knot theory and which is used to prove the existence of ‘associators’, a key ingredient in the construction of a universal knot invariant. The approach taken is to show that the relevant complex can be interpreted, essentially, as the cohomology of the functor Hom(K, C), where C is the coalg...

Bi-capacities arise as a natural generalization of capacities (or fuzzy measures) in a context of decision making where underlying scales are bipolar. They are able to capture a wide variety of decision behaviours, encompassing models as Cumulative Prospect Theory (CPT). The aim of this paper in two parts is to present the machinery behind bicapacities, and thus remains on a rather theoretical ...

This study examines the role that business intelligence (BI) and communication technologies play in how firms may achieve organizational sensing agility, decision making agility, and acting agility in different organizational and environmental contexts. Based on the information-processing view of organizations and dynamic capability theory, we suggest a configurational analytic framework that d...

Bi-capacities arise as a natural generalization of capacities (or fuzzy measures) in a context of decision making where underlying scales are bipolar. They are able to capture a wide variety of decision behaviours, encompassing models such as Cumulative Prospect Theory (CPT). The aim of this paper in two parts is to present the machinery behind bicapacities, and thus remains on a rather theoret...

Rewriting with non-symmetric relations can be considered as a computational model of many specification languages based on nonsymmetric relations. For instance, Logics of Inequalities, Ordered Algebras, Rewriting Logic, Order-Sorted Algebras, Subset Logic, Unified Algebras, taxonomies, subtypes, Refinement Calculus, all them use some kind of non-symmetric relation on expressions. We have develo...

The development of next-generation electronics is much dependent on the discovery of materials with exceptional surface-state spin and valley properties. Because of that, bismuth has attracted a renewed interest in recent years. However, despite extensive studies, the intrinsic electronic transport properties of Bi surfaces are largely undetermined due to the strong interference from the bulk. ...