Keyword:effect algebra

Papers
Effect algebras with state operator Sylvia Pulmannova 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 Riecanova 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
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