Self-dual binary and ternary connectives for m-valued propositional calculi.
Simple games in Łukasiewicz calculus and their cores
We propose a generalization of simple coalition games in the context of games with fuzzy coalitions. Mimicking the correspondence of simple games with non-constant monotone formulas of classical logic, we introduce simple Łukasiewicz games using monotone formulas of Łukasiewicz logic, one of the most prominent fuzzy logics. We study the core solution on the class of simple Łukasiewicz games and show that cores of such games are determined by finitely-many linear constraints only. The non-emptiness...
Some Theorems For Model Theory Of Mixed-Valued Predicate Calculi
States on pseudo-effect algebras with general comparability
Sur le premier système de Lukasiewicz
Sur les systèmes déductifs dans la logique -valente