distributivity

It is their ˜near™ distributivity that permits the definition of classical probability measures over them, which in many interpreters 'eyes is the precondition for adopting an ignorance interpretation of probabilities.

Modal Interpretations of Quantum Mechanics Dickson, Michael 2007

Béziau 2004, it was observed that by putting together the sequent rules for classical conjunction and the rules for classical disjunction, the resulting sequent calculus will (unexpectedly) prove the distributivity between conjunction and disjunction.

Combining Logics Carnielli, Walter 2007

With respect to the distributivity problem when combining conjunction and disjunction, the choice of method is also not determined: distributivity could be a desired feature if we adopted the viewpoint of recovering a logic from its fragments.

Combining Logics Carnielli, Walter 2007

These examples as well as other along the same lines suggest a dual problem to that of collapsing and distributivity between conjunction and disjunction: some expected interaction laws fail to be created by some combination processes.

Combining Logics Carnielli, Walter 2007

Such principles enjoy a similar conceptual status as the distributivity laws between conjunction and disjunction, or as the collapsing example mentioned above.

Combining Logics Carnielli, Walter 2007

Indeed, the distributivity problem and the collapsing problem are two instances of the same phenomenon of emergence of unexpected interactions (such as bridge principles) between connectives caused by combination processes.

Combining Logics Carnielli, Walter 2007

Analogous notions are congruence distributivity and congruence modularity, for which there exist analogous syntactic characterizations of varieties of algebras with these properties.

Algebra Pratt, Vaughan 2007

[α*] (A †’ [α] A)) from 1 using propositional calculus and distributivity of [α] over

Propositional Dynamic Logic Balbiani, Philippe 2007