Algebraical fixpoint theory is an invaluable instrument for studying semantics of logics. For example, all major semantics of logic programming, autoepistemic logic, default logic and more recently, abstract argumentation have been shown to be induced by the different types of fixpoints defined in approximation fixpoint theory (AFT). In this paper, we add a new type of fixpoint to AFT: a ground...

Binary properties are usually expressed (for good observational reasons) as a function of primary mass. It has been found that the distribution of companion masses – the mass ratio distribution – is different for different primary masses. We argue that system mass is the more fundamental physical parameter to use. We show that if system masses are drawn from a log-normal mass function, then the...

[1] The ice sheet–ice shelf transition zone plays an important role in controlling marine ice sheet dynamics, as it determines the rate at which ice flows out of the grounded part of the ice sheet. Together with accumulation, this outflow is the main control on the mass balance of the grounded sheet. In this paper, we verify the results of a boundary layer theory for ice flux in the transition ...