3 papers
math.LO2021
Structural completeness in many-valued logics with rational constants
J. Gispert, Z. Haniková, T. Moraschini +1
The logics RL, RP, and RG have been obtained by expanding Lukasiewicz logic L, product logic P, and Gödel--Dummett logic G with rational constants. We study the lattices of extensi…
cs.CR2018
Blind proxy voting
Zuzana Haniková
A secret ballot mechanism that enables voting in absence is proposed. It amends standard vote collection methods that use ballot box as anonymizer, adding the option for absent vot…
cs.LO2018
Implicit definability of truth constants in Łukasiewicz logic
Zuzana Haniková
In the framework of propositional Łukasiewicz logic, a suitable notion of implicit definability, tailored to the intended real-valued semantics and referring to the elements of its…