Search

In the present paper, we obtain a Jónsson-style canonicity proof for the Sahlqvist fragment of distributive modal |$\mu $| -calculus in clopen semantics, alternative to the canonicity-via-correspondence argument in Conradie and Craig (2017, Journal of Logic and Computation , 27, 705–748), generalizing the results in Bezhanishvili and Hodkinson (2012, Theoretical Computer Science , 424, 1–19). The key ingredient of this proof is a characterization result about |$\sigma $| -contracting maps. [ABSTRACT FROM AUTHOR]

We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations on dual spaces. In this enriched environment, equational conditions on the algebraic side of the duality may more often be rendered as first-order conditions on dual spaces. In particular, we specialize our general results to the variety of MV-algebras, obtaining a duality for these in which the equations axiomatizing MV-algebras are dualized as first-order conditions. [ABSTRACT FROM AUTHOR]

We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension. We provide an extension which is a multi-map and we study its continuity properties, and the conditions under which it is a map. [ABSTRACT FROM AUTHOR]

Abstract A variety V is said to be coherent if every finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that coherence corresponds to a key ingredient of uniform deductive interpolation for equational consequence in V : the property that any compact congruence on a finitely generated free algebra of V restricted to a free algebra over fewer generators is compact. A general criterion is derived for establishing failures of coherence, and hence also of uniform deductive interpolation. The criterion is then applied in conjunction with properties of canonical extensions to prove that coherence and uniform deductive interpolation fail for certain varieties of Boolean algebras with operators (including varieties for the modal logic K and KT), double-Heyting algebras, residuated lattices, and lattices. [ABSTRACT FROM AUTHOR]

The theory of canonical extensions typically considers extensions of maps A→B to maps Aδ→Bδ. In the present article, the theory of canonical extensions of maps A→Bδ to maps Aδ→Bδ is developed, and is applied to obtain a new canonicity proof for those inequalities in the language of Distributive Modal Logic (DML) on which the algorithm ALBA [9] is successful. [ABSTRACT FROM AUTHOR]

We consider the coherent cohomology of toroidal compactifications of locally symmetric varieties (such as Shimura varieties) with coefficients in the canonical and subcanonical extensions of automorphic vector bundles, and give explicit conditions for them to vanish in certain degrees. We also provide algorithms for determining all such degrees in practice. [ABSTRACT FROM AUTHOR]

We study a construction that produces a variety of completions of a given poset. The denseness and compactness properties of the completions obtained in this way are investigated. Next we focus our attention on three specific completions of a given poset that can be obtained through this construction-two of which have been called 'the canonical extension' of the poset in the literature. We investigate extensions of maps to these three completions. Although the extensions of unary operators need not be operators on the completions, we show that the extensions of unary residuated maps are residuated. We also investigate extensions of n-ary maps. In particular, we have a closer look at order-preserving n-ary maps and binary residuated maps. [ABSTRACT FROM AUTHOR]

Abstract: Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic. In [4] it is shown that the theory of relational semantics is also available in the more general setting of substructural logic, at least in an algebraic guise. Building on these ideas, in [5] a type of frames is described which generalise Kripke frames and provide semantics for substructural logics in a purely relational form. In this paper we study full linear logic from an algebraic point of view. The main additional hurdle is the exponential. We analyse this operation algebraically and use canonical extensions to obtain relational semantics. Thus, we extend the work in [4,5] and use their approach to obtain relational semantics for full linear logic. Hereby we illustrate the strength of using canonical extension to retrieve relational semantics: it allows a modular and uniform treatment of additional operations and axioms. Traditionally, so-called phase semantics are used as models for (provability in) linear logic [8]. These have the drawback that, contrary to our approach, they do not allow a modular treatment of additional axioms. However, the two approaches are related, as we will explain. [Copyright &y& Elsevier]

A join-completion of a poset is a completion for which each element is obtainable as a supremum, or join, of elements from the original poset. It is well known that the join-completions of a poset are in one-to-one correspondence with the closure systems on the lattice of up-sets of the poset. A Δ-completion of a poset is a completion for which, simultaneously, each element is obtainable as a join of meets of elements of the original poset and as a meet of joins of elements from the original poset. We show that Δ-completions are in one-to-one correspondence with certain triples consisting of a closure system of down-sets of the poset, a closure system of up-sets of the poset, and a binary relation between these two systems. Certain Δ-completions, which we call compact, may be described just by a collection of filters and a collection of ideals, taken as parameters. The compact Δ-completions of a poset include its MacNeille completion and all its join- and all its meet-completions. These completions also include the canonical extension of the given poset, a completion that encodes the topological dual of the poset when it has one. Finally, we use our parametric description of Δ-completions to compare the canonical extension to other compact Δ-completions identifying its relative merits. [ABSTRACT FROM AUTHOR]

In the present paper we extend the results of [4] by completely characterizing dual canonical subvarieties of BL-algebras. These are subvarieties of algebras that satisfy the equation xk = xk+1 for some integer k ≥ 1. As a corollary we get a full description of subvarieties of BL-algebras that admit completions. [ABSTRACT FROM AUTHOR]

Abstract: We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart of any finitary and congruential logic . This definition is logic-based rather than purely order-theoretic and is in general different from the definition of canonical extensions for monotone poset expansions, but the two definitions agree whenever the algebras in are based on lattices. As a case study on logics purely based on implication, we prove that the varieties of Hilbert and Tarski algebras are canonical in this new sense. [ABSTRACT FROM AUTHOR]

We prove that every subvariety of BL-algebras which is not finitely generated is not σ-canonical. We also prove π-canonicity for an infinite family of subvarieties of BL-algebras that are not finitely generated. To do so we study the behavior of canonical extensions of ordered sums of posets. [ABSTRACT FROM AUTHOR]

In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the form of ordered Kripke structures. The main contributions of this paper lie in extending the notion of Sahlqvist axioms to our generalized setting and proving both a correspondence and a canonicity result for distributive modal logics axiomatized by Sahlqvist axioms. Our proof of the correspondence result relies on a reduction to the classical case, but our canonicity proof departs from the traditional style and uses the newly extended algebraic theory of canonical extensions. [Copyright &y& Elsevier]

Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and choice-free way. We adapt the general algebraic technique that constructs them to the theory of frames. As a result, we show that every locally compact frame embeds into a completely distributive lattice by a construction which generalises, among others, the canonical extensions for distributive lattices and proximity lattices. This construction also provides a new description of a construction by Marcel Erné. Moreover, canonical extensions of frames enable us to frame-theoretically represent monotone maps with respect to the specialisation order. [ABSTRACT FROM AUTHOR]