Semilattice-based dualities

The paper discusses regularisation of dualities. A given duality between (concrete) categories, e.g. a variety of algebras and a category of representation spaces, is lifted to a duality between the respective categories of semilattice representations in the category of algebras and the category of spaces. In particular, this gives duality for the regularisation of an irregular variety that has a duality. If the type of the variety includes constants, then the regularisation depends critically on the location or absence of constants within the defining identities. The role of schizophrenic objects is discussed, and a number of applications are given. Among these applications are different forms of regularisation of Priestley, Stone and Pontryagin dualities.     

Stone-Type Representations and Dualities for Varieties of Bisemilattices

In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes’ representation theorem to bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas–Dunn duality and introduce the categories of 2spaces and 2spaces\(^{\star }\). The categories of 2spaces and 2spaces\(^{\star }\) will play with respect to the categories of distributive bisemilattices and De Morgan bisemilattices, respectively, a role analogous to the category of Stone spaces with respect to the category of Boolean algebras. Actually, the aim of this work is to show that these categories are, in fact, dually equivalent.     

Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory

This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of ?ukasiewicz n-valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n-valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal ?ukasiewicz n-valued logic with truth constants, which generalizes Jónsson-Tarski duality for modal algebras to the n-valued case via fuzzy topology. We emphasize that fuzzy topological spaces naturally arise as spectrums of algebras of many-valued logics.     

Duality for algebras of relevant logics

This paper defines a category of bounded distributive lattice-ordered grupoids with a left-residual operation that corresponds to a weak system in the family of relevant logics. Algebras corresponding to stronger systems are obtained by adding further postulates. A duality theoey piggy-backed on the Priestley duality theory for distributive lattices is developed for these algebras. The duality theory is then applied in providing characterizations of the dual spaces corresponding to stronger relevant logics.The author gratefully acknowledges the support of the National Sciences and Engineering Research Council of Canada.     

Distributive lattices with an operator

It was shown in [3] (see also [5]) that there is a duality between the category of bounded distributive lattices endowed with a join-homomorphism and the category of Priestley spaces endowed with a Priestley relation. In this paper, bounded distributive lattices endowed with a join-homomorphism, are considered as algebras and we characterize the congruences of these algebras in terms of the mentioned duality and certain closed subsets of Priestley spaces. This enable us to characterize the simple and subdirectly irreducible algebras. In particular, Priestley relations enable us to characterize the congruence lattice of the Q-distributive lattices considered in [4]. Moreover, these results give us an effective method to characterize the simple and subdirectly irreducible monadic De Morgan algebras [7].The duality considered in [4], was obtained in terms of the range of the quantifiers, and such a duality was enough to obtain the simple and subdirectly irreducible algebras, but not to characterize the congruences.I would like to thank my research supervisor Dr. Roberto Cignoli for his helpful suggestions during the preparation of this paper and the referee for calling my attention to Goldblatt's paper [5].     

A Categorical Equivalence for Stonean Residuated Lattices

We follow the ideas given by Chen and Grätzer to represent Stone algebras and adapt them for the case of Stonean residuated lattices. Given a Stonean residuated lattice, we consider the triple formed by its Boolean skeleton, its algebra of dense elements and a connecting map. We define a category whose objects are these triples and suitably defined morphisms, and prove that we have a categorical equivalence between this category and that of Stonean residuated lattices. We compare our results with other works and show some applications of the equivalence.

     

Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics

Part I of this paper is developed in the tradition of Stone-type dualities, where we present a new topological representation for general lattices (influenced by and abstracting over both Goldblatt's [17] and Urquhart's [46]), identifying them as the lattices of stable compact-opens of their dual Stone spaces (stability refering to a closure operator on subsets). The representation is functorial and is extended to a full duality.In part II, we consider lattice-ordered algebras (lattices with additional operators), extending the Jónsson and Tarski representation results [30] for Boolean algebras with Operators. Our work can be seen as developing, and indeed completing, Dunn's project of gaggle theory [13, 14]. We consider general lattices (rather than Boolean algebras), with a broad class of operators, which we dubb normal, and which includes the Jónsson-Tarski additive operators. Representation of l-algebras is extended to full duality.In part III we discuss applications in logic of the framework developed. Specifically, logics with restricted structural rules give rise to lattices with normal operators (in our sense), such as the Full Lambek algebras (F L-algebras) studied by Ono in [36]. Our Stone-type representation results can be then used to obtain canonical constructions of Kripke frames for such systems, and to prove a duality of algebraic and Kripke semantics for such logics.     

Nelson algebras through Heyting ones: I

The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley ([15], [16]) for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described (Thm 2.3). The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction ([6], [25]) is also given (Thm 3.6). These results are applied to compare the equational category N of Nelson algebras and some its subcategories (and their duals) with the equational category H of Heyting algebras (and its dual). It is proved (Thm 4.1) that the category N is topological over the category H. The main results of this article are a part of theses of the author's doctoral dissertation at the Nicholas Copernicus University in 1984 (cpmp. [24]).Research partially supported by Polish Government Grant CPBP 08-15.     

Distributive lattices with a dual homomorphic operation

The lattices of the title generalize the concept of a De Morgan lattice. A representation in terms of ordered topological spaces is described. This topological duality is applied to describe homomorphisms, congruences, and subdirectly irreducible and free lattices in the category. In addition, certain equational subclasses are described in detail.     

Categorical Abstract Algebraic Logic: Referential Algebraic Semantics

Wójcicki has provided a characterization of selfextensional logics as those that can be endowed with a complete local referential semantics. His result was extended by Jansana and Palmigiano, who developed a duality between the category of reduced congruential atlases and that of reduced referential algebras over a fixed similarity type. This duality restricts to one between reduced atlas models and reduced referential algebra models of selfextensional logics. In this paper referential algebraic systems and congruential atlas systems are introduced, which abstract referential algebras and congruential atlases, respectively. This enables the formulation of an analog of Wójcicki’s Theorem for logics formalized as π-institutions. Moreover, the results of Jansana and Palmigiano are generalized to obtain a duality between congruential atlas systems and referential algebraic systems over a fixed categorical algebraic signature. In future work, the duality obtained in this paper will be used to obtain one between atlas system models and referential algebraic system models of an arbitrary selfextensional π-institution. Using this latter duality, the characterization of fully selfextensional deductive systems among the selfextensional ones, that was obtained by Jansana and Palmigiano, can be extended to a similar characterization of fully selfextensional π-institutions among appropriately chosen classes of selfextensional ones.     

Priestley Duality for Paraconsistent Nelson’s Logic

The variety of N4^{^}{{\bf N4}^\perp}-lattices provides an algebraic semantics for the logic N4^{^}{{\bf N4}^\perp} , a version of Nelson’s logic combining paraconsistent strong negation and explosive intuitionistic negation. In this paper we construct the Priestley duality for the category of N4^{^}{{\bf N4}^\perp}-lattices and their homomorphisms. The obtained duality naturally extends the Priestley duality for Nelson algebras constructed by R. Cignoli and A. Sendlewski.     

A Coalgebraic View of Heyting Duality

We give a coalgebraic view of the restricted Priestley duality between Heyting algebras and Heyting spaces. More precisely, we show that the category of Heyting spaces is isomorphic to a full subcategory of the category of all -coalgebras, based on Boolean spaces, where is the functor which maps a Boolean space to its hyperspace of nonempty closed subsets. As an appendix, we include a proof of the characterization of Heyting spaces and the morphisms between them.     

Covert detection of attractiveness among the neurologically intact: evidence from skin-conductance responses

Several studies have shown that participants, without a deficit in face recognition, give an increased skin conductance response (SCR) to familiar faces when presented subliminally, hence suggesting covert recognition of these faces. In the experiment presented here we manipulated familiarity and attractiveness and tested whether participants distinguished between faces for these variables when presented too fast to allow conscious recognition. Three sets of faces were presented: famous attractive; unfamiliar attractive; and unfamiliar less attractive. SCRs were the same for each category of faces whether presented subliminally or supraliminally, and were the same for attractive faces, whether famous or unfamiliar; however, SCRs differed between the attractive and less attractive faces. The findings support those of Stone et al (2001 Cognitive, Affective and Behavioral Neuroscience 1 183-191) and suggest that higher SCRs to famous faces are not necessarily due to covert recognition, but may be a response to the positive affective valence of the stimuli.     

Natural categories

The hypothesis of the study was that the domains of color and form are structured into nonarbitrary, semantic categories which develop around perceptually salient “natural prototypes.” Categories which reflected such an organization (where the presumed natural prototypes were central tendencies of the categories) and categories which violated the organization (natural prototypes peripheral) were taught to a total of 162 members of a Stone Age culture which did not initially have hue or geometric-form concepts. In both domains, the presumed “natural” categories were consistently easier to learn than the “distorted” categories. Even when not central, natural prototype stimuli tended to be more rapidly learned and more often chosen as the most typical example of the category than were other stimuli. Implications for general differences between natural categories and the artificial categories of concept formation research were discussed.     

Russian pre-revolutionary Marxism on the the personality

The article treated various concerns of Russian Marxists relating to the concept of personality. In fact, it was not the individual per se and the kindred conceptual constructs that shaped discussions inside Russian Social-Democracy. The individual, on the contrary, was seen as an alien concept, as a central idea of the opponents: the Narodniks, anarchists, Cadets, and liberals in general. The post-1907 Marxist writings demonstrated a significant shift of accent in their approaches to the category of individuality. This was the result of polemics on the psychological particularities of the “reactionary” period (1907–1910). This profound and frequently concealed interest in the individual was typical, in general, of the new generation of Social-Democrats (Bogdanov, Bazarov, Luna?arskij) disillusioned with the classical positivism of the “fathers” and the dogmatic materialism of the “older comrades.”     

On scales of sensation: Prolegomena to any future psychophysics that will be able to come forth as science

Sensory scales fall into two classes. Type I scales of sensory intensity can be approximated by metric scaling procedures (magnitude estimation, magnitude production) and nonmetric procedures (conjoint measurement); Type I scales are supported by theoretical consideration of sensory processes. Type II scales of sensory dissimilarity can be approximated by metric scaling procedures (category rating, interval estimation, equisection) and nonmetric procedures (analysis of proximities). The psychophysical functions that relate Type I and Type II scales to their corresponding physical scales are in both cases power functions, but the exponents that govern Type I functions are typically about twice as large. Both Type I scales of sensory intensity and Type II scales of sensory dissimilarity are meaningful measures of perceptual experience, but they are measures of different aspects of perception. The duality of sensory scales helps to explain some apparent contradictions among divergent attempts to validate scales of sensation.     

Priestley Style Duality for Distributive Meet-semilattices

We generalize Priestley duality for distributive lattices to a duality for distributive meet-semilattices. On the one hand, our generalized Priestley spaces are easier to work with than Celani??s DS-spaces, and are similar to Hansoul??s Priestley structures. On the other hand, our generalized Priestley morphisms are similar to Celani??s meet-relations and are more general than Hansoul??s morphisms. As a result, our duality extends Hansoul??s duality and is an improvement of Celani??s duality.     

Discrete Dualities for Double Stone Algebras

We present two discrete dualities for double Stone algebras. Each of these dualities involves a different class of frames and a different definition of a complex algebra. We discuss relationships between these classes of frames and show that one of them is a weakening of the other. We propose a logic based on double Stone algebras.