Professor Rasiowa [HR49] considers implication algebras (A,⇒, V ) such that ⇒ is a binary operation on the universe A and V ∈ A. In particular, there are studied implicative algebras, positive implication algebras and implication algebras; the second kind corresponds to the logic of positive implication, and the third one to the logic of classical implication. In each case, the distinguished el...

Lambda abstraction algebras (LAAs) are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. Like combinatory algebras they can be defined by true identities and thus form a variety in the sense of universal algebra, but they differ from combinatory algebras in several important respects. The most natural L...

According to Bruno de Finetti’s Representation Theorem, exchangeable beliefs over infinite sequences of observable Bernoulli quantities can be represented as mixtures of independent coin tossing experiments. Extensions of this theorem give rise to representations as mixtures of other familiar sampling distributions. This paper offers a subjectivist primer based on the premise that appreciation ...

In this work, we use the formal definition of $k$-slant helix cite{ali2} to obtain the intrinsic equations as well as the position vector for emph{slant-slant helices} which a generalization of emph{general helices} and emph{slant helices}. Also, we present some characterizations theorems for $k$-slant helices and derived, in general form, the intrinsic equations for such curves. Thereafter, fr...