4 citations · 9 across the 6 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2021★ 4 cited
A finite axiomatization of positive MV-algebras
Marco Abbadini, Peter Jipsen, Tomáš Kroupa +1
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature . We provide a finite quasi-equational axiomatization for…
math.LO2016
Representing Strategic Games and Their Equilibria in Many-Valued Logics
Libor Běhounek, Petr Cintula, Chris Fermüller +1
We introduce the notion of logical A-games for a fairly general class of algebras A of real truth-values. This concept generalizes the Boolean games of Harrenstein et al. as well a…
math.LO2014
Modal Extensions of Łukasiewicz Logic for Modeling Coalitional Power
Tomáš Kroupa, Bruno Teheux
Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide for…