1 paper
Michal Botur, David Kruml, Jan Paseka
This paper investigates the intersection of residuated structures from many-valued logic and orthomodular lattices from quantum logic. We explore whether non-Boolean structures can…