Keyword:effect algebra

Publications
On (finite) distributive lattices with antitone involutions Jan Kühr and Michal Botur In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Effect algebras, witness pairs and observables Gejza Jenča In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Extensions of ordering sets of states from effect algebras onto their MacNeille completions Jiří Janda and Zdenka Riečanová In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Effect algebras with state operator Silvia Pulmannova In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic