Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory.
Lattice effect algebras densely embeddable into complete ones
An effect algebraic partial binary operation defined on the underlying set uniquely introduces partial order, but not conversely. We show that if on a MacNeille completion of there exists an effect algebraic partial binary operation then need not be an extension of . Moreover, for an Archimedean atomic lattice effect algebra we give a necessary and sufficient condition for that existing on is an extension of defined on . Further we show that such extending exists at most...
Laws of large numbers and the central limit theorems on a logic
Logical cover spaces
Logics with separating sets of measures
Lorenzen's theorem for pseudo-effect algebras