All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 4 of 4

Showing per page

Solving multi-objective fuzzy matrix games via multi-objective linear programming approach

Abha Aggarwal, Imran Khan (2016)

Kybernetika

A class of multi-objective fuzzy matrix games is studied and it is shown that solving such a game is equivalent to solving a pair of multi-objective linear programming problems. This work generalizes an earlier study of Fernandez et al. [7] from crisp scenario to fuzzy scenario on the lines of Bector et al. [4]. Further certain difficulties with similar studies reported in the literature are also discussed.

Strong functors and interleaving fixpoints in game semantics

Pierre Clairambault (2013)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We describe a sequent calculus μLJ with primitives for inductive and coinductive datatypes and equip it with reduction rules allowing a sound translation of Gödel’s system T. We introduce the notion of a μ-closed category, relying on a uniform interpretation of open μLJ formulas as strong functors. We show that any μ-closed category is a sound model for μLJ. We then turn to the construction of a concrete μ-closed category based on Hyland-Ong game semantics. The model relies on three main ingredients:...

Currently displaying 1 – 4 of 4

Page 1