It is shown that the Boolean center of complemented elements in a bounded integral residuated lattice characterizes direct decompositions. Generalizing both Boolean products and poset sums of residuated lattices, the concepts of poset product, Priestley product and Esakia product of algebras are defined and used to prove decomposition theorems for various ordered algebras. In particular, we show that FLw-algebras decompose as a poset product over any finite set of join irreducible strongly central elements, and that (...) bounded n-potent GBL-algebras are represented as Esakia products of simple n-potent MV-algebras. (shrink)

We show that compactness is preserved by arbitrary direct products of lattices of truth values and that the Löwenheim-Skolem property is preserved by finite direct products of lattices of truth values.

This book presents the foundations of a general theory of algebras. Often called “universal algebra”, this theory provides a common framework for all algebraic systems, including groups, rings, modules, fields, and lattices. Each chapter is replete with useful illustrations and exercises that solidify the reader's understanding. The book begins by developing the main concepts and working tools of algebras and lattices, and continues with examples of classical algebraic systems like groups, semigroups, monoids, and categories. The essence of the book lies (...) in Chapter 4, which provides not only basic concepts and results of general algebra, but also the perspectives and intuitions shared by practitioners of the field. The book finishes with a study of possible uniqueness of factorizations of an algebra into a direct product of directly indecomposable algebras. There is enough material in this text for a two semester course sequence, but a one semester course could also focus primarily on Chapter 4, with additional topics selected from throughout the text. (shrink)

We establish, generalizing Di Nola and Lettieri’s categorical equivalence, a Morita-equivalence between the theory of lattice-ordered abelian groups and that of perfect MV-algebras. Further, after observing that the two theories are not bi-interpretable in the classical sense, we identify, by considering appropriate topos-theoretic invariants on their common classifying topos, three levels of bi-interpretability holding for particular classes of formulas: irreducible formulas, geometric sentences, and imaginaries. Lastly, by investigating the classifying topos of the theory of perfect MV-algebras, we obtain various (...) results on its syntax and semantics also in relation to the cartesian theory of the variety generated by Chang’s MV-algebra, including a concrete representation for the finitely presentable models of the latter theory as finite products of finitely presentable perfect MV-algebras. Among the results established on the way, we mention a Morita-equivalence between the theory of lattice-ordered abelian groups and that of cancellative lattice-ordered abelian monoids with bottom element. (shrink)

Let ${\mathbb{BRL}}$ denote the variety of commutative integral bounded residuated lattices (bounded residuated lattices for short). A Boolean retraction term for a subvariety ${\mathbb{V}}$ of ${\mathbb{BRL}}$ is a unary term t in the language of bounded residuated lattices such that for every ${{\bf A} \in \mathbb{V}, t^{A}}$ , the interpretation of the term on A, defines a retraction from A onto its Boolean skeleton B(A). It is shown that Boolean retraction terms are equationally definable, in the sense that there is (...) a variety ${\mathbb{V}_{t} \subsetneq \mathbb{BRL}}$ such that a variety ${\mathbb{V} \subsetneq \mathbb{BRL}}$ admits the unary term t as a Boolean retraction term if and only if ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ . Moreover, the equation s(x) = t(x) holds in ${\mathbb{V}_{s} \cap \mathbb{V}_{t}}$ . The radical of ${{\bf A} \in \mathbb{BRL}}$ , with the structure of an unbounded residuated lattice with the operations inherited from A expanded with a unary operation corresponding to double negation and a a binary operation defined in terms of the monoid product and the negation, is called the radical algebra of A. To each involutive variety ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ is associated a variety ${\mathbb{V}^{r}}$ formed by the isomorphic copies of the radical algebras of the directly indecomposable algebras in ${\mathbb{V}}$ . Each free algebra in such ${\mathbb{V}}$ is representable as a weak Boolean product of directly indecomposable algebras over the Stone space of the free Boolean algebra with the same number of free generators, and the radical algebra of each directly indecomposable factor is a free algebra in the associated variety ${\mathbb{V}^{r}}$ , also with the same number of free generators.A hierarchy of subvarieties of ${\mathbb{BRL}}$ admitting Boolean retraction terms is exhibited. (shrink)

The research discussed in this paper centers around the convergence of extended reality (XR) platforms, computational design, digital fabrication, and critical urban study practices. Its aim is to cultivate interdisciplinary and multiscalar approaches within these domains. The research endeavor represents a collaborative effort between two primary disciplines: critical urban studies, which prioritize socio-environmental justice, and integrated digital design to production, which emphasize the realization of volumetric or voxel-based structural systems. Moreover, the exploration encompasses augmented reality to assess its utilization in (...) both the assembly process of the structures and the integration of phygital (physical and digital) data with the physical environment. Within the context of these research scopes, this paper introduces FabriCity-XR as an interactive phygital installation. In addition to presenting an overview of the integrated research driven and performative design to production methodologies, the project showcases the practical implementation of web-based augmented reality trails, eliminating the requirement for external applications for interaction. This approach allows users to seamlessly navigate and engage with phygital content overlaid on physical objects using their personal smart devices. The result is a captivating and immersive user experience that effectively merges the physical and digital realms. (shrink)

A symmetric residuated lattice is an algebra such that is a commutative integral bounded residuated lattice and the equations x=x and =xy are satisfied. The aim of the paper is to investigate the properties of the unary operation ε defined by the prescription εx=x→0. We give necessary and sufficient conditions for ε being an interior operator. Since these conditions are rather restrictive →0)=1 is satisfied) we consider when an iteration of ε is an interior operator. In particular we (...) consider the chain of varieties of symmetric residuated lattices such that the n iteration of ε is a boolean interior operator. For instance, we show that these varieties are semisimple. When n=1, we obtain the variety of symmetric stonean residuated lattices. We also characterize the subvarieties admitting representations as subdirect products of chains. These results generalize and in many cases also simplify, results existing in the literature. (shrink)

In any variety of bounded integral residuated lattice-ordered commutative monoids the class of its semisimple members is closed under isomorphic images, subalgebras and products, but it is not closed under homomorphic images, and so it is not a variety. In this paper we study varieties of bounded residuated lattices whose semisimple members form a variety, and we give an equational presentation for them. We also study locally representable varieties whose semisimple members form a variety. Finally, we analyze the relationship (...) with the property “to have radical term”, especially for k-radical varieties, and for the hierarchy of varieties k>0 defined in Cignoli and Torrens. (shrink)

It is shown how, under certain circumstances and within Bishop‐style constructive mathematics, one can construct a product of two a‐frames (the structures underlying the constructive theory of apartness on frames).

. Relational semantics for nonclassical logics lead straightforwardly to topological representation theorems of their algebras. Ortholattices and De Morgan lattices are reducts of the algebras of various nonclassical logics. We define three new classes of topological spaces so that the lattice categories and the corresponding categories of topological spaces turn out to be dually isomorphic. A key feature of all these topological spaces is that they are ordered relational or ordered product topologies.

Continuing the study of apartness in lattices, begun in [8], this paper deals with axioms for a product a-frame and with their consequences. This leads to a reasonable notion of proximity in an a-frame, abstracted from its counterpart in the theory of set-set apartness.

The central result of this paper provides a simple equational basis for the join, IRLLG, of the variety LG of lattice-ordered groups (-groups) and the variety IRL of integral residuated lattices. It follows from known facts in universal algebra that IRLLG=IRL×LG. In the process of deriving our result, we will obtain simple axiomatic bases for other products of classes of residuated structures, including the class IRL×s LG, consisting of all semi-direct products of members of IRL by members of LG. (...) We conclude the paper by presenting a general method for constructing such semi-direct products, including wreath products. (shrink)

Given a positive universal formula in the language of residuated lattices, we construct a recursive basis of equations for a variety, such that a subdirectly irreducible residuated lattice is in the variety exactly when it satisfies the positive universal formula. We use this correspondence to prove, among other things, that the join of two finitely based varieties of commutative residuated lattices is also finitely based. This implies that the intersection of two finitely axiomatized substructural logics over FL + is (...) also finitely axiomatized. Finally, we give examples of cases where the join of two varieties is their Cartesian product. (shrink)

Motivated by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras we define the functor K • relating integral residuated lattices with 0 with certain involutive residuated lattices. Our work is also based on the results obtained by Cignoli about an adjunction between Heyting and Nelson algebras, which is an enrichment of the basic adjunction between lattices and Kleene algebras. The lifting of the functor to the category of residuated lattices leads us to study (...) other adjunctions and equivalences. For example, we treat the functor C whose domain is cuRL, the category of involutive residuated lattices M whose unit is fixed by the involution and has a Boolean complement c. If we restrict to the full subcategory NRL of cuRL of those objects that have a nilpotent c, then C is an equivalence. In fact, C M is isomorphic to C e M, and C e is adjoint to, where assigns to an object A of IRL0 the product A × A 0 which is an object of NRL. (shrink)

A Kleene lattice is a distributive lattice equipped with an antitone involution and satisfying the so-called normality condition. These lattices were introduced by J. A. Kalman. We extended this concept also for posets with an antitone involution. In our recent paper (Chajda, Länger and Paseka, in: Proceeding of 2022 IEEE 52th International Symposium on Multiple-Valued Logic, Springer, 2022), we showed how to construct such Kleene lattices or Kleene posets from a given distributive lattice or poset and a (...) fixed element of this lattice or poset by using the so-called twist product construction, respectively. We extend this construction of Kleene lattices and Kleene posets by considering a fixed subset instead of a fixed element. Moreover, we show that in some cases, this generating poset can be embedded into the resulting Kleene poset. We investigate the question when a Kleene poset can be represented by a Kleene poset obtained by the mentioned construction. We show that a direct product of representable Kleene posets is again representable and hence a direct product of finite chains is representable. This does not hold in general for subdirect products, but we show some examples where it holds. We present large classes of representable and non-representable Kleene posets. Finally, we investigate two kinds of extensions of a distributive poset $${\textbf{A}}$$ A, namely its Dedekind-MacNeille completion $${{\,\mathrm{\textbf{DM}}\,}}({\textbf{A}})$$ DM ( A ) and a completion $$G({\textbf{A}})$$ G ( A ) which coincides with $${{\,\mathrm{\textbf{DM}}\,}}({\textbf{A}})$$ DM ( A ) provided $${\textbf{A}}$$ A is finite. In particular we prove that if $${\textbf{A}}$$ A is a Kleene poset then its extension $$G({\textbf{A}})$$ G ( A ) is also a Kleene lattice. If the subset X of principal order ideals of $${\textbf{A}}$$ A is involution-closed and doubly dense in $$G({\textbf{A}})$$ G ( A ) then it generates $$G({\textbf{A}})$$ G ( A ) and it is isomorphic to $${\textbf{A}}$$ A itself. (shrink)

A topological duality is presented for a wide class of lattice-ordered structures including lattice-ordered groups. In this new approach, which simplifies considerably previous results of the author, the dual space is obtained by endowing the Priestley space of the underlying lattice with two binary functions, linked by set-theoretical complement and acting as symmetrical partners. In the particular case of l-groups, one of these functions is the usual product of sets and the axiomatization of the dual space (...) is given by very simple first-order sentences, saying essentially that both functions are associative and that the space is a residuated semigroup with respect to each of them. (shrink)

In this paper we provide a categorical equivalence for the category \ of product algebras, with morphisms the homomorphisms. The equivalence is shown with respect to a category whose objects are triplets consisting of a Boolean algebra B, a cancellative hoop C and a map \ from B × C into C satisfying suitable properties. To every product algebra P, the equivalence associates the triplet consisting of the maximum boolean subalgebra B, the maximum cancellative subhoop C, of P, (...) and the restriction of the join operation to B × C. Although several equivalences are known for special subcategories of \ , up to our knowledge, this is the first equivalence theorem which involves the whole category of product algebras. The syntactic counterpart of this equivalence is a syntactic reduction of classical logic CL and of cancellative hoop logic CHL to product logic, and viceversa. (shrink)

Given a variety we study the existence of a class such that S1 every A can be represented as a global subdirect product with factors in and S2 every non-trivial A is globally indecomposable. We show that the following varieties (and its subvarieties) have a class satisfying properties S1 and S2: p-algebras, distributive double p-algebras of a finite range, semisimple varieties of lattice expansions such that the simple members form a universal class (bounded distributive lattices, De Morgan algebras, (...) etc) and arithmetical varieties in which the finitely subdirectly irreducible algebras form a universal class (f-rings, vector groups, Wajsberg algebras, discriminator varieties, Heyting algebras, etc). As an application we obtain results analogous to that of Nachbin saying that if every chain of prime filters of a bounded distributive lattice has at most length 1, then the lattice is Boolean. (shrink)

Let I0 be a a computable basis of the fully effective vector space V∞ over the computable field F. Let I be a quasimaximal subset of I0 that is the intersection of n maximal subsets of the same 1-degree up to *. We prove that the principal filter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}^{\ast}(V,\uparrow )}$$\end{document} of V = cl(I) is isomorphic to the lattice \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}(n, \overline{F})}$$\end{document} of (...) subspaces of an n-dimensional space over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{F}}$$\end{document}, a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma _{3}^{0}}$$\end{document} extension of F. As a corollary of this and the main result of Dimitrov (Math Log 43:415–424, 2004) we prove that any finite product of the lattices \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(\mathcal{L}(n_{i}, \overline{F }_{i}))_{i=1}^{k}}$$\end{document} is isomorphic to a principal filter of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{ L}^{\ast}(V_{\infty})}$$\end{document}. We thus answer Question 5.3 “What are the principal filters of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}^{\ast}(V_{\infty})?}$$\end{document} ” posed by Downey and Remmel (Computable algebras and closure systems: coding properties, handbook of recursive mathematics, vol 2, pp 977–1039, Stud Log Found Math, vol 139, North-Holland, Amsterdam, 1998) for spaces that are closures of quasimaximal sets. (shrink)

Some first-order theories of divisible ℓ-groups are well known, for example the theory of the totally ordered ones and the theories of the projectable ones , Lattice-ordered Groups, Kluwer Academic Press, Dordrecht, 1989, pp. 41–79). In this paper we study some theories of nonprojectable divisible ℓ-groups, the simplest example of which is . We introduce a generalization of the projectability property . We prove that the class of r-projectable special-valued divisible ℓ-groups is an elementary class and give a classification (...) of its completions. (shrink)

In [This Zeitschrift 25 , 45-52, 119-134, 447-464], Pavelka systematically discussed propositional calculi with values in enriched residuated lattices and developed a general framework for approximate reasoning. In the first part of this paper we introduce the concept of generalized quantifiers into Pavelka's logic and establish the fundamental theorem of ultraproduct in first order Pavelka's logic with generalized quantifiers. In the second part of this paper we show that the fundamental theorem of ultraproduct in first order Pavelka's logic is preserved (...) under some direct product of lattices of truth values. (shrink)

Several investigations in probability theory and the theory of expert systems show that it is important to search for some reasonable generalizations of fuzzy logics (e.g. Łukasiewicz, Gödel or product logic) having a non-associative conjunction. In the present paper, we offer a non-associative fuzzy logic L CBA having as an equivalent algebraic semantics lattices with section antitone involutions satisfying the contraposition law, so-called commutative basic algebras. The class (variety) CBA of commutative basic algebras was intensively studied in several recent (...) papers and includes the class of MV-algebras. We show that the logic L CBA is very close to the Łukasiewicz one, both having the same finite models, and can be understood as its non-associative generalization. (shrink)

There is a productive and suggestive approach in philosophical logic based on the idea of generalized truth values. This idea, which stems essentially from the pioneering works by J.M. Dunn, N. Belnap, and which has recently been developed further by Y. Shramko and H. Wansing, is closely connected to the power-setting formation on the base of some initial truth values. Having a set of generalized truth values, one can introduce fundamental logical notions, more specifically, the ones of logical operations and (...) logical entailment. This can be done in two different ways. According to the first one, advanced by M. Dunn, N. Belnap, Y. Shramko and H. Wansing, one defines on the given set of generalized truth values a specific ordering relation (or even several such relations) called the logical order(s), and then interprets logical connectives as well as the entailment relation(s) via this ordering(s). In particular, the negation connective is determined then by the inversion of the logical order. But there is also another method grounded on the notion of a quasi-field of sets, considered by Białynicki-Birula and Rasiowa. The key point of this approach consists in defining an operation of quasi-complement via the very specific function g and then interpreting entailment just through the relation of set-inclusion between generalized truth values. In this paper, we will give a constructive proof of the claim that, for any finite set V with cardinality greater or equal 2, there exists a representation of a quasi-field of sets isomorphic to de Morgan lattice. In particular, it means that we offer a special procedure, which allows to make our negation de Morgan and our logic relevant. (shrink)

Let Γ be Mundici’s functor from the category $${\mathcal{LG}}$$ whose objects are the lattice-ordered abelian groups ( ℓ -groups for short) with a distinguished strong order unit and the morphisms are the unital homomorphisms, onto the category $${\mathcal{MV}}$$ of MV-algebras and homomorphisms. It is shown that for each strong order unit u of an ℓ -group G , the Boolean skeleton of the MV-algebra Γ ( G , u ) is isomorphic to the Boolean algebra of factor congruences of (...) G. (shrink)

We investigate the variety corresponding to a logic, which is the combination of ukasiewicz Logic and Product Logic, and in which Gödel Logic is interpretable. We present an alternative axiomatization of such variety. We also investigate the variety, called the variety of algebras, corresponding to the logic obtained from by the adding of a constant and of a defining axiom for one half. We also connect algebras with structures, called f-semifields, arising from the theory of lattice-ordered rings, and (...) prove that every algebra can be regarded as a structure whose domain is the interval [0, 1] of an f-semifield, and whose operations are the truncations of the operations of to [0, 1]. We prove that such a structure is uniquely determined by up to isomorphism, and we establish an equivalence between the category of algebras and that of f-semifields. (shrink)

We introduce a sequent system which is Gentzen algebraisable with orthomodular lattices as equivalent algebraic semantics, and therefore can be viewed as a calculus for orthomodular quantum logic. Its sequents are pairs of non-associative structures, formed via a structural connective whose algebraic interpretation is the Sasaki product on the left-hand side and its De Morgan dual on the right-hand side. It is a substructural calculus, because some of the standard structural sequent rules are restricted—by lifting all such restrictions, one (...) recovers a calculus for classical logic. (shrink)

We introduce a new product bilattice con- struction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lat- tice factors. Finally, we (...) show how to employ our product construction to define first-order definable classes of bi- lattices corresponding to any first-order definable subclass of residuated lattices. (shrink)

The logics RŁ, RP, and RG have been obtained by expanding Łukasiewicz logic Ł, product logic P, and Gödel–Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions, obtaining results that stand in contrast to the known situation in Ł, P, and G. Namely, RŁ is hereditarily structurally complete. RP is algebraized by the variety of rational product algebras that we show to be Q-universal. We provide a base of (...) admissible rules in RP, show their decidability, and characterize passive structural completeness for extensions of RP. Furthermore, structural completeness, hereditary structural completeness, and active structural completeness coincide for extensions of RP, and this is also the case for extensions of RG, where in turn passive structural completeness is characterized by the equivalent algebraic semantics having the joint embedding property. For nontrivial axiomatic extensions of RG, we provide a base of admissible rules. We leave the problem open whether the variety of rational Gödel algebras is Q-universal. (shrink)

We develop and defend the thesis that the Hilbert space formalism of quantum mechanics is a new theory of probability. The theory, like its classical counterpart, consists of an algebra of events, and the probability measures defined on it. The construction proceeds in the following steps: (a) Axioms for the algebra of events are introduced following Birkhoff and von Neumann. All axioms, except the one that expresses the uncertainty principle, are shared with the classical event space. The only models for (...) the set of axioms are lattices of subspaces of inner product spaces over a field K. (b) Another axiom due to Soler forces K to be the field of real, or complex numbers, or the quaternions. We suggest a probabilistic reading of Soler's axiom. (c) Gleason's theorem fully characterizes the probability measures on the algebra of events, so that Born's rule is derived. (d) Gleason's theorem is equivalent to the existence of a certain finite set of rays, with a particular orthogonality graph (Wondergraph). Consequently, all aspects of quantum probability can be derived from rational probability assignments to finite "quantum gambles". (e) All experimental aspects of entanglement- the violation of Bell's inequality in particular- are explained as natural outcomes of the probabilistic structure. (f) We hypothesize that even in the absence of decoherence macroscopic entanglement can very rarely be observed, and provide a precise conjecture to that effect .We also discuss the relation of the present approach to quantum logic, realism and truth, and the measurement problem. (shrink)

Quantum B-algebras, the partially ordered implicational algebras arising as subreducts of quantales, are introduced axiomatically. It is shown that they provide a unified semantic for non-commutative algebraic logic. Specifically, they cover the vast majority of implicational algebras like BCK-algebras, residuated lattices, partially ordered groups, BL- and MV-algebras, effect algebras, and their non-commutative extensions. The opposite of the category of quantum B-algebras is shown to be equivalent to the category of logical quantales, in the way that every quantum B-algebra admits a (...) natural embedding into a logical quantale, the enveloping quantale. Partially defined products of algebras related to effect algebras are handled efficiently in this way. The unit group of the enveloping quantale of a quantum B-algebra X is shown to be always contained in X, which gives a functorial subgroup X× of X. Similar subfunctors are obtained for the non-commutative extensions of BCK-algebras and effect algebras. The results of Galatos, Jónsson, and Tsinakis on the splitting of generalized BL-algebras into a semidirect product of a partially ordered group operating on an integral residuated poset are extended to a characterization of twisted semidirect products of a po-group by a quantum B-algebra. (shrink)

A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. We (...) provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics. (shrink)

We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose. Commutatively and associatively are isolated in such a way that the base Kripke model is a model for noncommutative, nonassociative Linear Logic. We also extend the logic by adding a coimplication (...) operator, similar to Curry's subtraction operator, which is resituated with Linear Logic's contensor product. And we can add contraction to get nondistributive Relevance Logic. The model rests heavily on Urquhart's representation of nondistributive lattices and also on Dunn's Gaggle Theory. Indeed, the paper may be viewed as an investigation into nondistributive Gaggle Theory restricted to binary operations. The valuations on the Kripke model are three valued: true, false, and indifferent. The lattice representation theorem of Urquhart has the nice feature of yielding Priestley's representation theorem for distributive lattices if the original lattice happens to be distributive. Hence the representation is consistent with Stone's representation of distributive and Boolean lattices, and our semantics is consistent with the Lemmon-Scott representation of modal algebras and the Routley-Meyer semantics for Relevance Logic. (shrink)

A continuoxis t- norm is a continuous map * from [0, 1]² into [0,1] such that is a commutative totally ordered monoid. Since the natural ordering on [0,1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras, where * is a continuous t-norm. In this paper we investigate the structure of (...) the variety of basic hoops and some of its subvarieties. In particular we provide a complete description of the finite subdirectly irreducible basic hoops, and we show that the variety of basic hoops is generated as a quasivariety by its finite algebras. We extend these results to Hájek's BL-algebras, and we give an alternative proof of the fact that the variety of BL-algebras is generated by all algebras arising from continuous t-norms on [ 0,1] and their residua. The last part of the paper is devoted to the investigation of the subreducts of BL- algebras, of Gödel algebras and of product algebras. (shrink)

A new structure, called pseudo equality algebras, will be introduced. It has a constant and three connectives: a meet operation and two equivalences. A closure operator will be introduced in the class of pseudo equality algebras; we call the closed algebras equivalential. We show that equivalential pseudo equality algebras are term equivalent with pseudo BCK-meet-semilattices. As a by-product we obtain a general result, which is analogous to a result of Kabziński and Wroński: we provide an equational characterization for the (...) equivalence operations of pseudo BCK-meet-semilattices. Our result treats a much more general algebraic structure, namely, pseudo BCK-meet-semilattice instead of Heyting algebras, on the other hand, we also need to use the meet operation. Finally, we prove that the variety of pseudo equality algebras is a subtractive, 1-regular, arithmetical variety. (shrink)

A continuoxis t- norm is a continuous map * from [0, 1]² into [0,1] such that ([ 0,1], *, 1) is a commutative totally ordered monoid. Since the natural ordering on [0,1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and ([ 0,1], *, →, 1) becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras ([ 0,1], *, →, 1), (...) where * is a continuous t-norm. In this paper we investigate the structure of the variety of basic hoops and some of its subvarieties. In particular we provide a complete description of the finite subdirectly irreducible basic hoops, and we show that the variety of basic hoops is generated as a quasivariety by its finite algebras. We extend these results to Hájek's BL-algebras, and we give an alternative proof of the fact that the variety of BL-algebras is generated by all algebras arising from continuous t-norms on [ 0,1] and their residua. The last part of the paper is devoted to the investigation of the subreducts of BL- algebras, of Gödel algebras and of product algebras. (shrink)

A Leibniz class is a class of logics closed under the formation of term-equivalent logics, compatible expansions, and non-indexed products of sets of logics. We study the complete lattice of all Leibniz classes, called the Leibniz hierarchy. In particular, it is proved that the classes of truth-equational and assertional logics are meet-prime in the Leibniz hierarchy, while the classes of protoalgebraic and equivalential logics are meet-reducible. However, the last two classes are shown to be determined by Leibniz conditions consisting (...) of meet-prime logics only. (shrink)

We prove that the category of Nachbin’s compact ordered spaces and order-preserving continuous maps between them is dually equivalent to a variety of algebras, with operations of at most countable arity. Furthermore, we observe that the countable bound on the arity is the best possible: the category of compact ordered spaces is not dually equivalent to any variety of finitary algebras. Indeed, the following stronger results hold: the category of compact ordered spaces is not dually equivalent to any finitely accessible (...) category, any first-order definable class of structures, and any class of finitary algebras closed under products and subalgebras. An explicit equational axiomatisation of the dual of the category of compact ordered spaces is obtained; in fact, we provide a finite one, meaning that our description uses only finitely many function symbols and finitely many equational axioms. In preparation for the latter result, we establish a generalisation of a celebrated theorem by Mundici: our result—whose proof is independent of Mundici’s theorem—asserts that the category of unital commutative distributive lattice-ordered monoids is equivalent to the category of what we call MV-monoidal algebras.Abstract taken directly from the thesis.E-mail: [email protected]: https://air.unimi.it/retrieve/handle/2434/812809/1698986/phd_unimi_R11882.pdf. (shrink)

Hahn’s embedding theorem asserts that linearly ordered abelian groups embed in some lexicographic product of real groups. Hahn’s theorem is generalized to a class of residuated semigroups in this paper, namely, to odd involutive commutative residuated chains which possess only finitely many idempotent elements. To this end, the partial lexicographic product construction is introduced to construct new odd involutive commutative residuated lattices from a pair of odd involutive commutative residuated lattices, and a representation theorem for odd involutive commutative (...) residuated chains which possess only finitely many idempotent elements, by means of linearly ordered abelian groups and the partial lexicographic product construction is presented. (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)

In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACSs A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of (...) these structures with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACSs A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples and counterexamples. (shrink)

Given a quantum system with a very large number of degrees of freedom and a preferred tensor product factorization of the Hilbert space we describe how it can be approximated with a very low-dimensional field theory with geometric degrees of freedom. The geometric approximation procedure consists of three steps. The first step is to construct weighted graphs with vertices representing subsystems and edges representing mutual information between subsystems. The second step is to deform the adjacency matrices of the information (...) graphs to that of a low-dimensional lattice using the graph flow equations introduced in the paper. The third step is to define an emergent metric and to derive an effective description of the metric and possibly other degrees of freedom. To illustrate the procedure we analyze two information graph flows with geometric attractors and metric perturbations obeying a geometric flow equation. Our analysis also suggests a possible approach to quantum gravity in which the geometry emerges directly from a quantum state due to the flow of the information graphs. (shrink)

Similarity profiled association mining from time stamped transaction databases is an important topic of research relatively less addressed in the field of temporal data mining. Mining temporal patterns from these time series databases requires choosing and applying similarity measure for similarity computations and subsequently pruning temporal patterns. This research proposes a novel z-space based interest measure named as Krishna Sudarsana for time-stamped transaction databases by extending interest measure Srihass proposed in previous research. Krishna Sudarsana is designed by using the (...) class='Hi'>product based fuzzy Gaussian membership function and performs similarity computations in z-space to determine the similarity degree between any two temporal patterns. The interest measure is designed by considering z-values between z = 0 and z = 3.09. Applying the Krishna Sudarsana requires moving the threshold value given by user to a different transformation space which is a defined as a function of standard deviation. In addition to proposing interest measure, new expressions for standard deviation and equivalent z-space threshold are derived for similarity computations. For experimental evaluation, we considered Naïve, Sequential and Spamine algorithms that applies Euclidean distance function and compared performance of these three approaches to Z-Spamine algorithm that uses Krishna Sudarsana by choosing various test cases. Experiment results proved the performance of the proposed approach is better to Sequential approach that uses snapshot database scan strategy and Spamine approach that uses lattice based database scan strategy. (shrink)

In this paper we study and equationally characterize the subvarieties of BL, the variety of BL-algebras, which are generated by families of single-component BL-chains, i.e. MV-chains, Product-chain or Gödel-chains. Moreover, it is proved that they form a segment of the lattice of subvarieties of BL which is bounded by the Boolean variety and the variety generated by all single-component chains, called ŁΠG.

In this work we introduce a class of commutative rings whose defining condition is that its lattice of ideals, augmented with the ideal product, the semi-ring of ideals, is isomorphic to an MV-algebra. This class of rings coincides with the class of commutative rings which are direct sums of local Artinian chain rings with unit.

We investigate the expressivity of many-valued modal logics based on an algebraic structure with a complete linearly ordered lattice reduct. Necessary and sufficient algebraic conditions for admitting a suitable Hennessy–Milner property are established for classes of image-finite and modally saturated models. Full characterizations are obtained for many-valued modal logics based on complete BL-chains that are finite or have the real unit interval [0, 1] as a lattice reduct, including Łukasiewicz, Gödel, and product modal logics.

In this work we study the decidability of a class of global modal logics arising from Kripke frames evaluated over certain residuated lattices, known in the literature as modal many-valued logics. We exhibit a large family of these modal logics which are undecidable, in contrast with classical modal logic and propositional logics defined over the same classes of algebras. This family includes the global modal logics arising from Kripke frames evaluated over the standard Łukasiewicz and Product algebras. We later (...) refine the previous result, and prove that global modal Łukasiewicz and Product logics are not even recursively axiomatizable. We conclude by closing negatively the open question of whether each global modal logic coincides with its local modal logic closed under the unrestricted necessitation rule. (shrink)

We re-evaluate existing data that demonstrate a large amount of variability in the content of categories considering the fact that these data have been obtained in a specific task: the production of features of single isolated categories. We present new data that reveal a large consensus when participants have to judge whether or not a given feature is characteristic of a category and we show that classification tasks produce an intermediate level of consensus. We argue that the differences observed between (...) tasks are due to the extent of implied context and we propose a reinterpretation of typicality effects, demonstrating that they are compatible with the existence of a stable conceptual core. In order to explain how the existence of a conceptual core is consistent with variability due to context, we present a theory of categorisation based on a property tree organisation. Within a domain of description, we distinguish between semantic implications (flying → moving) and empirical implications (flying → having wings) as well as between properties used to describe objects. Semantic implications serve to build property lines and Galois lattices are used to reveal category structures according to empirical implications. We show that variability in the category content may be explained by the fact that some properties are emphasised while others are masked according to the context. (shrink)