4 citations · 4 across the 2 of their papers we have counts for
3 papers
Free Quantification in Four-Valued and Fuzzy Bilattice-Valued Logics
Libor Behounek, Martina Dankova, Antonin Dvorak
We introduce a variant of free logic (i.e., a logic admitting terms with nonexistent referents) that accommodates truth-value gluts as well as gaps. Employing a suitable expansion…
Relevant Consequence Relations: An Invitation
Guillermo Badia, Petr Cintula, Libor Behounek +1
We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the \emph{use criterion},…
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…