In this paper we pursue the study of the variety of m -generalized Łukasiewicz algebras of order n which was initiated in [1]. This variety contains the variety of Łukasiewicz algebras of order n . Given , we establish an isomorphism from its congruence lattice to the lattice of Stone filters of a certain Łukasiewicz algebra of order n and for each congruence on A we find a description via the corresponding Stone filter. We characterize (...) the principal congruences on A via Stone filters. In doing so, we obtain a polynomial equation which defines the principal congruences on the algebras of . After showing that for m > 1 and n > 2, the variety of Łukasiewicz algebras of order n is a proper subvariety of , we prove that is a finitely generated discriminator variety and point out some consequences of this strong property, one of which is congruence permutability. (shrink)

We describe here a special subdirect decomposition of algebras with modular congruence lattice. Such a decomposition is based on the properties of the congruence lattices of algebras. We consider four properties of lattices: atomic, atomless, locally uniform and anti-uniform. In effect, we describe a star-decomposition of a given algebra with modular congruence lattice into two or three parts associated to these properties.

In this paper we establish the - and -transfer principles for finitely decidable locally finite varieties, where a class of structures is finitely decidable if the first order theory of its finite members is recursive. The transfer principles deal with the local structure of finite algebras and have strong global consequences.

This article aims to find the elements that are required for a common ethical approach that is suitable for the different perspectives adopted in integrative biodiversity conservation research. A general reflection on the integrity of research is a priority worldwide, with a common aim to promote good research practice. Beyond the relationship between researcher and research subject, the integrity of research is considered in a broader perspective which entails scientific integrity towards society. In research involving a variety of disciplines (...) and a diversity of legal and ethical frameworks, there is a need of harmony between different sets of values. The notion of congruence reflects the consistency of ethics in research within the biodiversity conservation’s community of researchers. It also bears on the coherence of values shared between the scientific community and society. We examine the notion of research integrity in a broad sense. This examination is to be conducted in relation to the goal of protecting ecological integrity, which is at the core of biodiversity conservation. The notion of integrity constraints should be investigated further to develop a pragmatic response to the need for integrity and congruence in research for biodiversity conservation. (shrink)

This is a summary of a talk delivered at the Winter School of Logic held in Rabka, 24.02 – 04.03.1986 by the Department of Logic of the Jagiellonian University. We wish to announce here several results on embeddability of quotient algebras of certain kind into algebras of some varieties related to the class of Heyting algebras. A “by product” is the deduction theorem for a large family of intermediate consequence operations.

We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. $\mathbf{Theorem A:}$ if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then it is finitely based. $\mathbf{Theorem B:}$ there is an algorithm which, given $m < \omega$ and a finite algebra in a finite language, determines whether the variety generated by the algebra is congruence meet-semidistributive and residually less than m.

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an improved understanding (...) of specific regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence on A is a union of -classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class of symmetric extended de Morgan algebras.

In previous work, we have introduced and studied a lifting property in congruence–distributive universal algebras which we have defined based on the Boolean congruences of such algebras, and which we have called the Congruence Boolean Lifting Property. In a similar way, a lifting property based on factor congruences can be defined in congruence–distributive algebras; in this paper we introduce and study this property, which we have called the Factor Congruence Lifting Property. We also define the Boolean (...) Lifting Property in varieties with \ and \ having Boolean Factor Congruences and no skew congruences, and prove that it coincides to the Factor Congruence Lifting Property in the congruence–distributive case; we particularize this result to bounded distributive lattices and residuated lattices. (shrink)

Although corporate social responsibility appears to be mutually beneficial for companies and consumers, the modern marketplace has left both parties in vulnerable positions. Consumers are increasingly subjected to incongruent CSR messages such as greenwashing, while companies are trapped in a strategic positioning dilemma with regard to how to most effectively and ethically approach CSR communication. This has led some companies to instead adopt a strategically silent approach, such as greenhushing. To capture this CSR positioning dilemma and test the positioning effects (...) on consumers’ attributions, this study applies attribution theory to conceptualize four distinct CSR positions which reflect varying combinations of congruence or incongruence between a company’s external CSR communication and its actual internal CSR actions. Using an online experiment, the effects of the CSR positions on consumer attributions for intrinsic and extrinsic CSR motivations and purchase intentions were tested across three CSR domains: environmental; labor; and lesbian, gay, bisexual, and transgender inclusion. Overall, the findings attest to the significant effect of internal–external congruence-based CSR positioning on how consumers respond to CSR communication. Importantly, the results indicate that discreet positioning is perceived similarly to uniform positioning, while misleading and unethical tactics such as CSR-washing are sure to backfire. Theoretical and managerial implications are discussed. (shrink)

We prove that in a locally finite variety that has definable principal congruences , solvable congruences are nilpotent, and strongly solvable congruences are strongly abelian. As a corollary of the arguments we obtain that in a congruence modular variety with DPC, every solvable algebra can be decomposed as a direct product of nilpotent algebras of prime power size.

In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains.

The IKt-algebras were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. In this paper, our main interest is to investigate the principal and Boolean congruences on IKt-algebras. In order to do this we take into account a topological duality for these algebras obtained in Figallo et al. :673–701, 2017). Furthermore, we characterize Boolean and principal IKt-congruences and we show that Boolean IKt-congruence are principal IKt-congruences. Also, bearing in mind (...) the above results, we obtain that Boolean IKt-congruences are commutative, regular and uniform. Finally, we characterize the principal IKt-congruences in the case that the IKt-algebra is linear and complete whose prime filters are complete and also the case that it is linear and finite. This allowed us to establish that the intersection of two principal IKt-congruences on these algebras is a principal one and also to determine necessary and sufficient conditions so that a principal IKt-congruence is a Boolean one on theses algebras. (shrink)

Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of (...) abstract algebraic logic . We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú . We also prove some purely algebraic results concerning bilattices, for instance that the variety of distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices. (shrink)

Causal overdetermination worries arise in a number of domains, but most notably in the philosophy of mind. ln discussions of such worries, alleged examples of causal overdetermination are uniformly viewed as primajzcie problematic. While all alleged cases of overdetermination might be problematic, I aim to show that they are so for different reasons. Examples of causal overdetermination neatly divide into three varieties, corresponding to the connections between the mechanisms and the properties of the causes. Future debates over overdetermination, and mental (...) causation in particular, should pay heed to this distinction. (shrink)

The notion of a pseudo-interior algebra was introduced by Blok and Pigozzi in [BPIV]. We continue here our studies begun in [BK]. As a consequence of the representation theorem for pseudo-interior algebras given in [BK] we prove that the variety of all pseudo-interior algebras is generated by its finite members. This result together with Jónsson's Theorem for congruence distributive varieties provides a useful technique in the study of the lattice of varieties of pseudo-interior algebras.

Distributive bounded lattices with a dual homomorphism as unary operation, called Ockham algebras, were firstly studied by Berman (1977). The varieties of Boolean algebras, De Morgan algebras, Kleene algebras and Stone algebras are some of the well known subvarieties of Ockham algebra. In this paper, new results about the congruence lattice of Ockham algebras are given. From these results and Urquhart's representation theorem for Ockham algebras a complete characterization of the subdirectly irreducible Ockham algebras is obtained. These results are (...) particularized for a large number of subvarieties of Ockham algebras. For these subvarieties a full description of their subdirectly irreducible algebras is given as well. (shrink)

We show that the properties of [relative] semisimplicity and congruence 3-permutability of a [quasi]variety with equationally definable [relative] principal congruences (EDP[R]C) can be characterized syntactically. We prove that a quasivariety with EDPRC is relatively semisimple if and only if it satisfies a finite set of quasi-identities that is effectively constructible from any conjunction of equations defining relative principal congruences in the quasivariety. This in turn allows us to obtain an ‘axiomatization’ of relatively filtral quasivarieties. We also show that (...) a variety is 3-permutable and has EDPC if and only if there is a single pair of quaternary terms satisfying two simple equations, and whose equality defines principal congruences in the variety. Finally, we combine both results to obtain a neat characterization of semisimple, 3-permutable varieties with EDPC, which is applied to solve a problem posed by Blok and Pigozzi in the third paper of their series on varieties with EDPC. (shrink)

In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions.

In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains.

We have two polynomial time results for the uniform word problem for a quasivariety Q: The uniform word problem for Q can be solved in polynomial time iff one can find a certain congruence on finite partial algebras in polynomial time. Let Q* be the relational class determined by Q. If any universal Horn class between the universal closure S and the weak embedding closure S̄ of Q* is finitely axiomatizable then the uniform word problem for (...) Q is solvable in polynomial time. This covers Skolem's 1920 solution to the uniform word problem for lattices and Evans' 1953 applications of the weak embeddability property for finite partial V algebras. (shrink)

Several studies have focused on the effects of corporate social responsibility fit on external stakeholders’ evaluations of CSR activities, attitudes towards companies or brands, and behaviors. The results so far have been contradictory. A possible reason may be that the concept of CSR fit is more complicated than previously assumed. Researchers suggest that there may be different types of CSR fit, but so far no empirical research has focused on a typology of CSR fit. This study fills this gap, describing (...) a qualitative content analysis of the congruence between six organizations and their various CSR activities. Ten annual reports and CSR reports were analyzed, and 102 specific CSR activities were identified. The results show that two levels of fit must be distinguished: based on the means for and the intended ends of the CSR activity. Furthermore, six different types of fit were found, focusing on products and services, production processes, environmental impact, employees, suppliers, and geographical location. Considering the above variety of fit possibilities, the findings emphasize the role of CSR communication as a means of creating fit perceptions. (shrink)

In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions.

In this paper, we consider a collection of filters of a BL-algebra A. We use the concept of congruence relation with respect to filters to construct a uniformity which induces a topology on A. We study the properties of this topology regarding different filters.

A fundamental question in causal inference is whether it is possible to reliably infer the manipulation effects from observational data. There are a variety of senses of asymptotic reliability in the statistical literature, among which the most commonly discussed frequentist notions are pointwise consistency and uniform consistency (see, e.g. Bickel, Doksum [2001]). Uniform consistency is in general preferred to pointwise consistency because the former allows us to control the worst case error bounds with a finite sample size. (...) In the sense of pointwise consistency, several reliable causal inference algorithms have been established under the Markov and Faithfulness assumptions [Pearl 2000, Spirtes et al. 2001]. In the sense of uniform consistency, however, reliable causal inference is impossible under the two assumptions when time order is unknown and/or latent confounders are present [Robins et al. 2000]. In this paper we present two natural generalizations of the Faithfulness assumption in the context of structural equation models, under which we show that the typical algorithms in the literature are uniformly consistent with or without modifications even when the time order is unknown. We also discuss the situation where latent confounders may be present and the sense in which the Faithfulness assumption is a limiting case of the stronger assumptions. (shrink)

Recent scientific research suggests that altered states of consciousness induced by classic psychedelic drugs can cause durable psychological benefits in both healthy and patient populations. The phenomenon of ‘psychedelic transformation’ has many philosophically provocative aspects, not least of which is the claim commonly made by psychedelic subjects that their transformation is centrally due to some kind of learning or knowledge gain. Can psychedelic experiences really be a source of knowledge? From the vantage point of philosophical materialism or naturalism, a negative (...) answer is tempting because psychedelic subjects often claim drug-facilitated knowledge of non-natural, transcendent realities. This fact, combined with common conceptions of these drugs as ‘hallucinogenic’ or ‘psychotomimetic’, invites the conclusion that claims of epistemic benefit from psychedelic experience are uniformly false. However, several recent proposals have been made in the literature about naturalistically acceptable epistemic benefits that might arise from psychedelic use. In this chapter I review these proposals, classifying them in accordance with standard epistemological categories, and discuss the arguments for and against them. I also offer some suggestions for future research. (shrink)

A biresiduation algebra is a 〈/,\,1〉-subreduct of an integral residuated lattice. These algebras arise as algebraic models of the implicational fragment of the Full Lambek Calculus with weakening. We axiomatize the quasi-variety B of biresiduation algebras using a construction for integral residuated lattices. We define a filter of a biresiduation algebra and show that the lattice of filters is isomorphic to the lattice of B-congruences and that these lattices are distributive. We give a finite basis of terms for generating (...) filters and use this to characterize the subvarieties of B with EDPC and also the discriminator varieties. A variety generated by a finite biresiduation algebra is shown to be a subvariety of B. The lattice of subvarieties of B is investigated; we show that there are precisely three finitely generated covers of the atom. (shrink)

A uniform calculus for linear logic is presented. The calculus has the form of a natural deduction system in sequent calculus style with general introduction and elimination rules. General elimination rules are motivated through an inversion principle, the dual form of which gives the general introduction rules. By restricting all the rules to their single-succedent versions, a uniform calculus for intuitionistic linear logic is obtained. The calculus encompasses both natural deduction and sequent calculus that are obtained as special (...) instances from the uniform calculus. Other instances give all the invertibilities and partial invertibilities for the sequent calculus rules of linear logic. The calculus is normalizing and satisfies the subformula property for normal derivations. (shrink)

We introduce a natural class of quantifiersTh containing all monadic type quantifiers, all quantifiers for linear orders, quantifiers for isomorphism, Ramsey type quantifiers, and plenty more, showing that no sublogic ofL ωω (Th) or countably compact regular sublogic ofL ∞ω (Th), properly extendingL ωω , satisfies the uniform reduction property for quotients. As a consequence, none of these logics satisfies eitherΔ-interpolation or Beth's definability theorem when closed under relativizations. We also show the failure of both properties for any sublogic (...) ofL ∞ω (Th) in which Chang's quantifier or some cardinality quantifierQ α, with α≧1, is definable. (shrink)

Meet semidistributive varieties are in a sense the last of the most important classes in universal algebra for which it is unknown whether it can be characterized by a strong Maltsev condition. We present a new, relatively simple Maltsev condition characterizing the meet-semidistributive varieties, and provide a candidate for a strong Maltsev condition.

In this paper, we consider a collection of filters of a BL-algebra A. We use the concept of congruence relation with respect to filters to construct a uniformity which induces a topology on A. We study the properties of this topology regarding different filters. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim).

The main purpose of this paper is to define and study a particular variety of Montague-Scott neighborhood semantics for modal propositional logic. We call this variety the first-order neighborhood semantics because it consists of the neighborhood frames whose neighborhood operations are, in a certain sense, first-order definable. The paper consists of two parts. In Part I we begin by presenting a family of modal systems. We recall the Montague-Scott semantics and apply it to some of our systems that (...) have hitherto be uncharacterized. Then, we define the notion of a first-order indefinite semantics, along with the more specific notion of a first-order uniform semantics, the latter containing as special cases the possible world semantics of Kripke. In Part II we prove consistency and completeness for a broad range of the systems considered, with respect to the first-order indefinite semantics, and for a selected list of systems, with respect to the first-order uniform semantics. The completeness proofs are algebraic in character and make essential use of the finite model property. A by-product of our investigations is a result relating provability in S-systems and provability in T-systems, which generalizes a known theorem relating provability in the systems S 2° and C 2. (shrink)

Anti-representationalism is the hallmark of Richard Rorty's critique of the epistemological tradition. According to it, knowledge does not "mirror" reality and the human mind is not a representational device. Anti-representationalism is a family of philosophical theses, respectively dealing with the notion of "representation" in different ways. Though prima facie one may feel entitled to think about anti-representationalism as a kind of uniform philosophical movement, things stand quite differently. In fact, among many anti-representationalist options, we can identify two main versions: (...) a global anti-representationalism that entirely rejects the philosophical uses of the notion of "representation", and a local version that just removes the notion of "representation" from the explanatory toolbox. In this chapter I try to compare Rorty's global anti-representationalism and Robert Brandom's local version, exploiting a recent discussion by Brandom and a famous exchange between Rorty and Bjørn Ramberg about Donald Davidson's take on the special role of the intentional vocabulary. (shrink)

Several studies have focused on the effects of corporate social responsibility fit on external stakeholders’ evaluations of CSR activities, attitudes towards companies or brands, and behaviors. The results so far have been contradictory. A possible reason may be that the concept of CSR fit is more complicated than previously assumed. Researchers suggest that there may be different types of CSR fit, but so far no empirical research has focused on a typology of CSR fit. This study fills this gap, describing (...) a qualitative content analysis of the congruence between six organizations and their various CSR activities. Ten annual reports and CSR reports were analyzed, and 102 specific CSR activities were identified. The results show that two levels of fit must be distinguished: based on the means for and the intended ends of the CSR activity. Furthermore, six different types of fit were found, focusing on products and services, production processes, environmental impact, employees, suppliers, and geographical location. Considering the above variety of fit possibilities, the findings emphasize the role of CSR communication as a means of creating fit perceptions. (shrink)

James Tully's Strange Multiplicity uses the example of indigenous minorities in the white settler colonies of North America to develop a remarkably powerful critique of liberal constitutionalism's rule of uniformity. In proclaiming the identity of all persons before the law, he insists, liberal constitutional arrangements commonly discriminate against indigenous and other minorities. While the force of this critique is undeniable, it nevertheless takes at face value one of the central claims of liberal consitutionalism, namely, its claim to be based on (...) the rule of uniformity. Examination of liberal reflections on the government of subject peoples, most of whom were regarded as being, in Mill's words, “not sufficiently advanced for representative government“, suggests a rather different picture. In place of the rule of uniformity we find a variety of alternatives but, most commonly, an insistence, first, that the government of such peoples should focus on their welfare and eventual improvement rather than on their liberty and, second, that they should be governed as far as possible through their own institutions and structures of authority. The result was a highly differentiated form of rule in which what were believed to be indigenous arrangements were adapted to the joint requirements of improvement and administrative convenience. Thus, what seems to be a powerful commitment to individual liberty on the part of liberal political reason should be seen as simply one element in a broader liberal perspective on the government of populations. At least as important in this perspective as the rule of uniformity is the presumption that some cultures are more advanced than others and a corresponding view of many cultural differences in historical and developmental terms. (shrink)

Discrepancies between the Uniform Determination of Death Act (UDDA) and the adult and pediatric diagnostic guidelines for brain death (BD) (the “Guidelines”) have motivated proposals to revise the UDDA. A revision proposed by Lewis, Bonnie and Pope (the RUDDA), has received particular attention, the three novelties of which would be: (1) to specify the Guidelines as the legally recognized “medical standard,” (2) to exclude hypothalamic function from the category of “brain function,” and (3) to authorize physicians to conduct an (...) apnea test without consent and even over a proxy’s objection. One hundred seven experts in medicine, bioethics, philosophy, and law, spanning a wide variety of perspectives, have come together in agreement that while the UDDA needs revision, the RUDDA is not the way to do it. Specifically, (1) the Guidelines have a non-negligible risk of false-positive error, (2) hypothalamic function is more relevant to the organism as a whole than any brainstem reflex, and (3) the apnea test carries a risk of precipitating BD in a non-BD patient, provides no benefit to the patient, does not reliably accomplish its intended purpose, and is not even absolutely necessary for diagnosing BD according to the internal logic of the Guidelines; it should at the very least require informed consent, as do many procedures that are much more beneficial and less risky. Finally, objections to a neurologic criterion of death are not based only on religious belief or ignorance. People have a right to not have a concept of death that experts vigorously debate imposed upon them against their judgment and conscience; any revision of the UDDA should therefore contain an opt-out clause for those who accept only a circulatory-respiratory criterion. (shrink)

Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects, for example normal subgroups of groups, two-sided ideals of rings, filters (or ideals) of Boolean algebras.algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A of a τ-regular variety ������ the lattice of congruences of A is isomorphic to the lattice of deductive filters (...) on A of the τ-assertional logic of ������. Moreover, if ������ has a constant 1 in its type and is 1-subtractive, the deductive filters on A ∈ ������ of the 1-assertional logic of ������ coincide with the ������-ideals of A in the sense of Gumm and Ursini, for which we have a manageable concept of ideal generation. However, there are isomorphism theorems, for example, in the theories of residuated lattices, pseudointerior algebras and quasi-MV algebras that cannot be subsumed by these general results. The aim of the present paper is to appropriately generalise the concepts of subtractivity and τ-regularity in such a way as to shed some light on the deep reason behind such theorems. The tools and concepts we develop hereby provide a common umbrella for the algebraic investigation of several families of logics, including substructural logics, modal logics, quantum logics, and logics of constructive mathematics. (shrink)

I reconcile the spatiotemporal location of repeatable artworks and impure sets with the non-location of natural numbers despite all three being varieties of abstract objects. This is possible because, while the identity conditions for all three can be given by abstraction principles, in the former two cases spatiotemporal location is a congruence for the equivalence relation featuring in the relevant principle, whereas in the latter it is not. I then generalize this to other ‘physical’ properties like shape, mass, and (...) causal powers. (shrink)

In this paper, we show that all semisimple varieties of bounded weak-commutative residuated lattices with an S4-like modal operator are discriminator varieties. We also give a characterization of discriminator and EDPC varieties of bounded weak-commutative residuated lattices with an S4-like modal operator follows.

This paper discusses the varieties of capitalism in transitional societies in Latin America and Central / Eastern Europe. The intended purpose of these transitions from semi-closed import-substituting economies in the first case and state socialist ones in the second was to institutionalize open-market economies. Twenty or thirty years later, there is a variety of types of capitalism in these countries, which I classify into three: open-market, neo-mercantilist, and anemic. The question for sociology is whether these quite different variants represent (...) temporary stages or distortions in the same process of transition or whether, on the contrary, they may institutionalize as discrete forms of peripheral capitalism. Neither standard “legacy” argu­ments nor institutionalist theories offer satisfactory answers to this question. The multiple modernities approach, on the other hand, is more appropriate as a theoretical perspective, but it has not produced yet specific propositions applicable to this question. My paper makes two claims. First, the successful transfer of institutions depends on the congruence between these institutions and the broader institutional framework of the recipient economies, a point not developed by institutionalist theories. I offer a hypothesis in this regard: Two critical nodes of congruence are the regulatory and extractive capacity of the state and the strength of civil society. Second, market capitalism (as liberal democracy as well) is a complex institution, and some of its components “travel” more easily across societies and institutional frameworks, and therefore are easier to institutionalize. This is the source of the hybrid variants. (shrink)

This paper is a contribution toward developing a theory of expansions of semi-Heyting algebras. It grew out of an attempt to settle a conjecture we had made in 1987. Firstly, we unify and extend strikingly similar results of [ 48 ] and [ 50 ] to the (new) equational class DHMSH of dually hemimorphic semi-Heyting algebras, or to its subvariety BDQDSH of blended dual quasi-De Morgan semi-Heyting algebras, thus settling the conjecture. Secondly, we give a criterion for a unary expansion (...) of semi-Heyting algebras to be a discriminator variety and give an algorithm to produce discriminator varieties. We then apply the criterion to exhibit an increasing sequence of discriminator subvarieties of BDQDSH . We also use it to prove that the variety DQSSH of dually quasi-Stone semi- Heyting algebras is a discriminator variety. Thirdly, we investigate a binary expansion of semi-Heyting algebras, namely the variety DblSH of double semi-Heyting algebras by characterizing its simples, and use the characterization to present an increasing sequence of discriminator subvarieties of DblSH . Finally, we apply these results to give bases for “small” subvarieties of BDQDSH , DQSSH , and DblSH. (shrink)

In this paper we pursue the study of the variety $ L_n ^ m $ of m - generalized? ukasiewicz algebras of order n which was initiated in [ 1 ]. This variety contains the variety of? ukasiewicz algebras of order n. Given A? $ \ in L_n ^ m $, we establish an isomorphism from its congruence lattice to the lattice of Stone filters of a certain? ukasiewicz algebra of order n and for each (...) class='Hi'>congruence on A we find a description via the corresponding Stone filter. We characterize the principal congruences on A via Stone filters. In doing so, we obtain a polynomial equation which defines the principal congruences on the algebras of $ L_n ^ m $. After showing that for m > 1 and n > 2, the variety of? ukasiewicz algebras of order n is a proper subvariety of $ L_n ^ m $, we prove that $ L_n ^ m $ is a finitely generated discriminator variety and point out some consequences of this strong property, one of which is congruence permutability. (shrink)