This article is concerned with an exploration of a family systems—called immune logics—that arise from certain dualizations the well-known infectious logics. The distinctive feature semantic logics presence “infectious” value, by which two different though equivalent things are meant. On one hand, it meant that these values zero elements for all operations in underlying algebraic structure. oth...

In this paper we propose a framework for defining and reasoning about compositions of concerns, based on multivalued logics. Rather than providing a small set of built-in composition operations, our framework provides a mechanism for constructing arbitrary types of composition. Our multi-valued logic model checker, chek allows us to reason about the properties of compositions of concerns.

The notion of feasibility, applicable in various areas related to logic, is arguably of gradual nature—some tasks are more feasible than others. The possibility of modeling a gradual notion of feasibility in t-norm logics is brought forward and illustrated on the gradual notions of feasible number, feasible knowledge, feasible formula, and feasible computability.

We present a compositional approach to defining expressive logics for coalgebras of endofunctors on Set. This approach uses a notion of language constructor and an associated notion of semantics to capture one inductive step in the definition of a language for coalgebras and of its semantics. We show that suitable choices for the language constructors and for their associated semantics yield lo...

We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display calculi for their component logics. Our calculi satisfy cut-elimination, and are sound and complete with respect to their standard presentations. We show how to constrain applications of display-equivalence in our calculi in such a way that an exhaustive proof search need ...

Purpose Why do managers redesign global supply chains in a particular manner when faced with compounding geopolitical disruptions? In answering this research question, study identifies constrained system of reasoning (decision-making logic) employed by they their situations heightened uncertainty. Design/methodology/approach The authors conducted 40 elite interviews senior chain executives 28 c...