Displaying similar documents to “Posterior Probability on Finite Set”

Didactical note: probabilistic conditionality in a Boolean algebra.

Enric Trillas, Claudi Alsina, Settimo Termini (1996)

Mathware and Soft Computing

Similarity:

This note deals with two logical topics and concerns Boolean Algebras from an elementary point of view. First we consider the class of operations on a Boolean Algebra that can be used for modelling If-then propositions. These operations, or Conditionals, are characterized under the hypothesis that they only obey to the Modus Ponens-Inequality, and it is shown that only six of them are boolean two-place functions. Is the Conditional Probability the Probability of a Conditional? This problem...

Program Algebra over an Algebra

Grzegorz Bancerek (2012)

Formalized Mathematics

Similarity:

We introduce an algebra with free variables, an algebra with undefined values, a program algebra over a term algebra, an algebra with integers, and an algebra with arrays. Program algebra is defined as universal algebra with assignments. Programs depend on the set of generators with supporting variables and supporting terms which determine the value of free variables in the next state. The execution of a program is changing state according to successor function using supporting terms. ...

On the existence of prime ideals in Boolean algebras

Jörg Flum (1999)

Banach Center Publications

Similarity:

Rasiowa and Sikorski [5] showed that in any Boolean algebra there is an ultrafilter preserving countably many given infima. In [3] we proved an extension of this fact and gave some applications. Here, besides further remarks, we present some of these results in a more general setting.

Relational probabilities on intuitionistic lattices.

Enric Trillas (1988)

Stochastica

Similarity:

In this paper we present and develop, only elementarily, an axiomatic frame for some special fuzzy relations, the so called relational probabilities, which happen to be families of functions which in some cases are quantic probabilities [1] on sublattices of a given lattice; in this way we obtain calculations similar to the ordinary ones but based on a weaker lattice background. This framework is inspired on the presentation of conditional probability on Boolean algebras made in [5]...