Congruences on Dynamic Algebras

The lattice Cong of all dynamic congruences on a given dynamic algebra is presented. Whenever is separable with zero we define dynamic ideal on , given rise to the lattice Ide. The notions of kernel of a dynamic congruence andthe congruence generated by a dynamic ideal are introduced todescribe a Galois connection between Cong and Ide. We study conditions under which a dynamic congruence is determined byits kernel.     

The Logic of Quantum Measurements in terms of Conditional Events

This paper shows that the non-Boolean logic of quantum measurementsis more naturally represented by a relatively new 4-operationsystem of Boolean fractions—conditional events—thanby the standard representation using Hilbert Space. After therequirements of quantum mechanics and the properties of conditionalevent algebra are introduced, the quantum concepts of orthogonality,completeness, simultaneous verifiability, logical operations,and deductions are expressed in terms of conditional eventsthereby demonstrating the adequacy and efficacy of this formulation.Since conditional event algebra is nearly Boolean and consistsmerely of ordered pairs of standard events or propositions,quantum events and the so-called "superpositions" of statesneed not be mysterious, and are here fully explicated. Conditionalevent algebra nicely explains these non-standard "superpositions"of quantum states as conjunctions or disjunctions of conditionalevents, Boolean fractions, but does not address the so-called"entanglement phenomena" of quantum mechanics, which remainphysically mysterious. Nevertheless, separating the latter phenomenafrom superposition issues adds clarity to the interpretationof quantum entanglement, the phenomenon of influence propagatedat faster than light speeds. With such treacherous possibilitiespresent in all quantum situations, an observer has every reasonto be completely explicit about the environmental–instrumentalconfiguration, the conditions present when attempting quantummeasurements. Conditional event algebra allows such explicationwithout the physical and algebraic remoteness of Hilbert space.     

Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro

For each integer n ≥ 2, MV_n denotes the variety of MV-algebras generated by the MV-chain with n elements. Algebras in MV_n are represented as continuous functions from a Boolean space into a n-element chain equipped with the discrete topology. Using these representations, maximal subalgebras of algebras in MV_n are characterized, and it is shown that proper subalgebras are intersection of maximal subalgebras. When A ∈ MV₃, the mentioned characterization of maximal subalgebras of A can be given in terms of prime filters of the underlying lattice of A, in the form that was conjectured by A. Monteiro. Mathematics Subject Classification (2000): 06D30, 06D35, 03G20, 03B50, 08A30. Presented by Daniele Mundici     

Does variety seeking vary between hedonic and utilitarian products? The role of attribute type

The purpose of this paper is to consider attributes that stimulate variety seeking in hedonic and utilitarian product categories and examine the interaction of product category and attribute type on variety‐seeking behaviour. The results of 3 studies indicate that in hedonic product categories, consumers seek more variety in sensory attributes, whereas in utilitarian product categories, they seek more variety in functional attributes. This interaction effect is explained by the fact that the satiation rates of sensory and functional attributes depend on the nature of the product category. In product categories, which are not clearly hedonic or utilitarian, this interaction effect is not evident. The theoretical and practical implications of the findings are discussed.     

Notes on Logics of Metric Spaces

In [14], we studied the computational behaviour of various first-order and modal languages interpreted in metric or weaker distance spaces. [13] gave an axiomatisation of an expressive and decidable metric logic. The main result of this paper is in showing that the technique of representing metric spaces by means of Kripke frames can be extended to cover the modal (hybrid) language that is expressively complete over metric spaces for the (undecidable) two-variable fragment of first-order logic with binary pred-icates interpreting the metric. The frame conditions needed correspond rather directly with a Boolean modal logic that is, again, of the same expressivity as the two-variable fragment. We use this representation to derive an axiomatisation of the modal hybrid variant of the two-variable fragment, discuss the compactness property in distance logics, and derive some results on (the failure of) interpolation in distance logics of various expressive power. Presented by Melvin Fitting