TACL 2013: Papers with AbstractsPapers 

Abstract. Classically, a Tychonoff space is called strongly 0dimensional if its StoneCech compactification is 0dimensional, and given the familiar relationship between spaces and frames it is then natural to call a completely regular frame strongly 0dimensional if its compact completely regular coreflection is 0dimensional (meaning: is generated by its complemented elements). Indeed, it is then seen immediately that a Tychonoff space is strongly 0dimensional iff the frame of its open sets is strongly 0dimensional in the present sense. This talk will provide an account of various aspects of this notion.  Abstract. The method of canonical formulas is a powerful tool for investigating intuitionistic and modal logics. In this talk I will discuss an algebraic approach to this method. I will mostly concentrate on the case of intuitionistic logic. But I will also review the case of modal logic and possible generalizations to substructural logic.  Abstract. The analysis of coproducts in varieties of algebras has generally been varietyspecific, relying on tools tailored to particular classes of algebras. A recurring theme, however, is the use of a categorical duality. Among the dualities and topological representations in the literature, natural dualities are particularly well behaved with respect to coproduct. Since (multisorted) natural dualities are based on homfunctors, they send coproducts into cartesian products. We carry out a systematic study of coproducts for finitely generated quasivarieties A that admit a (term) reduct in the variety D of bounded distributive lattices.  Abstract. (This is joint work with Nick Bezhanishvili). In the first part of our contribution, we review and compare existing constructions of finitely generated free algebras in modal logic focusing on stepbystep methods. We discuss the notions of step algebras and step frames arising from recent investigations, as well as the role played by finite duality.
In the second part of the contribution, we exploit the potential of step frames for investigating prooftheoretic aspects. This includes developing a method which detects when a specific rulebased calculus Ax axiomatizing a given logic L has the socalled bounded proof property. This property is a kind of an analytic subformula property limiting the proof search space. We prove that every finite conservative step frame for Ax is a pmorphic image of a finite Kripke frame for L iff Ax has the bounded proof property and L has the finite model property. This result, combined with a `step version' of the classical correspondence theory turns out to be quite powerful in applications.  Abstract. In this talk we are going to explore an interesting connection between the famous Burnside problem for groups, regular languages, and residuated lattices.  Abstract. Proof theory can provide useful tools for tackling problems in algebra. In particular, Gentzen systems admitting cutelimination have been used to establish decidability, complexity, amalgamation, admissibility, and generation results for varieties of residuated lattices corresponding to substructural logics. However, for classes of algebras bearing some family resemblance to groups, such as latticeordered groups, MValgebras, BLalgebras, and cancellative residuated lattices, the prooftheoretic approach has met so far only with limited success.
The main aim of this talk will be to introduce prooftheoretic methods for the class of latticeordered groups and to explain how these methods can be used to obtain new syntactic proofs of two core theorems: namely, Holland's result that this class is generated as a variety by the latticeordered group of orderpreserving automorphisms of the real numbers, and the decidability of the word problem for free latticeordered groups.  Abstract. In this talk I shall discuss a general categorytheoretic structure for modelling conditional independence. The standard notion of conditional independence in probability theory provides a motivating example. But other rather different examples arise in many contexts: computability theory, nominal sets (used to model `names' in computer science), separation logic (used to reason about heap memory in computer science), and others.
Categorytheoretic structure common to these examples can be axiomatized by the notion of a category with local independent products, which combines fibrational and symmetric monoidal structure in a somewhat particular way. In the talk I shall expound this notion, and I shall present several illustrative examples of such structure. If time permits, I may also describe some curious connections with topos theory.  Abstract. My research concerns a construction of "logical schemes," geometric entities which represent logical theories in much the same way that algebraic schemes represent rings. These involve two components: a semantic spectral space and a syntactic structure sheaf. As in the algebraic case, we can recover a theory from its scheme representation (up to a conservative completion) and the structure sheaf is local in a certain logical sense. From these ane pieces we can build up a 2category of logical schemes which share some of the nice properties of algebraic schemes.  Abstract. Topostheoretic semantics for modal logic usually uses structures induced by a surjective geometric morphism between toposes. This talk develops an algebraic generalization of this framework. We take internal adjoints between certain internal frames within a topos, which provides semantics for (intuitionistic) higheroder modal logic.  Abstract. In analysis, truncation is the operation of replacing a nonnegative realvalued function a (x) by its pointwise meet a (x) ∧ 1 with the constant $1$ function. A vector lattice A is said to be closed under truncation if a ∧ 1 ∈ A for all a ∈ A+. Note that A need not contain 1 itself.
Truncation is fundamental to analysis. To give only one example, Lebesgue integration generalizes beautifully to any vector lattice of realvalued functions on a set X, provided the vector lattice is closed under truncation. But vector lattices lacking this property may have integrals which cannot be represented by any measure on X. Nevertheless, when the integral is formulated in a context broader than RX, for example in pointfree analysis, the question of truncation inevitably arises.
What is truncation, or more properly, what are its essential properties? In this paper we answer this question by providing the appropriate axiomatization, and then go on to present several representation theorems. The first is a direct generalization of the classical Yosida representation of an archimedean vector lattice with order unit. The second is a direct generalization of Madden's pointfree representation of archimedean vector lattices. If time permits, we briefly discuss a third sheaf representation which has no direct antecedent in the literature.
However, in all three representations the lack of a unit forces a crucial distinction from the corresponding unital representation theorem. The universal object in each case is some sort of family of continuous realvalued functions. The difference is that these functions must vanish at a specified point of the underlying space or locale or sheaf space. With that adjustment, the generalization from units to truncations goes remarkably smoothly.  Abstract. We revisit proofs of Funayama's theorem and extend Graetzer's proof to the case of a not necessarily complete lattice.  Abstract. It was left as an open problem in (Bezhanishvili and Gabelaia, 2011) whether a connected normal extension of S4 without FMP is also the modal logic of some subalgebra of R+. Our purpose here is to solve this problem affirmatively by showing that each connected normal extension of S4 (with or without FMP) is in fact the modal logic of some subalgebra of R+. We also prove that each normal extension of S4 (with or without FMP) is the modal logic of a subalgebra of Q+, as well as the modal logic of a subalgebra of C+.  Abstract. For a commutative ring R, we introduce the notion of a Specker Ralgebra and show that Specker Ralgebras are Boolean powers of R. For an indecomposable ring R, this yields an equivalence between the category of Specker Ralgebras and the category of Boolean algebras. Together with Stone duality this produces a dual equivalence between the category of Specker Ralgebras and the category of Stone spaces.  Abstract. The main aim of this talk is twofold. Firstly, to present an elementary method based on Farkas' lemma for rationals how to embed any finite partial subalgebra of a linearly ordered MValgebra into Q \ [0; 1] and then to establish a new elementary proof of the completeness of the Lukasiewicz axioms for which the MValgebras community has been looking for a long time. Secondly, to present a direct proof of Di Nola's representation Theorem for MValgebras and to extend his results to the restriction of the standard MValgebra on rational numbers.  Abstract. We consider the knotted structural rule x<sup>m</sup>≤x<sup>n</sup> for n different than m and m greater or equal than 1. Previously van Alten proved that commutative residuated lattices that satisfy the knotted rule have the finite embeddability property (FEP). Namely, every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. In our work we replace the commutativity property by some slightly weaker conditions. Particularly, we prove the FEP for the variety of residuated lattices that satisfy the equation xyx=x<sup>2</sup>y and the knotted rule. Furthermore, we investigate some generalizations of this noncommutative property by working with equations that allow us to move variables. We also note that the FEP implies the finite model property. Hence the logics modeled by these residuated lattices are decidable.  Abstract. The idea of twolayer modal logics is inspired by the treatment of probability inside mathematical fuzzy logic, pioneered by Hajek and recently studied by numerous authors in numerous papers. Such logics are used in order to deal with a certain property of formulas of the base logic using a suitable `upper' logic (the seminal example being the probability of classical events formalized inside Lukasiewicz logic). The primary aim of this paper is to provide a new general framework for twolayer modal logics that encompasses the current state of the art and paves the way for future development. Diverting for the area of mathematical fuzzy logic, we show how one can construct such modal logic over an arbitrary nonclassical logic (under certain technical requirements) with a modality interpreted by an arbitrary measure. We equip the resulting logics with a semantics of measured Kripke frames and prove corresponding completeness theorems. As an illustration of our results, we reprove Hajek's completeness result for Fuzzy Probability logic over Lukasiewicz logic.  Abstract. Grounding on defining relations of a finitely presentable subdirectly irreducible (s.i.) algebra in a variety with a ternary deductive term (TD), we define the characteristic identity of this algebra. For finite s.i. algebras the characteristic identity is equivalent to the identity obtained from Jankov formula. In contrast to Jankov formula, characteristic identity is relative to a variety and even in the varieties of Heyting algebras there are the characteristic identities not related to Jankov formula. Every subvariety of a given locally finite variety with a TD term admits an optimal axiomatization consisting of characteristic identities. There is an algorithm that reduces any finite system of axioms of such a variety to an optimal one. Each variety with a TD term can be axiomatized by characteristic identities of partial algebras, and in certain cases these identities are related to the canonical formulas.  Abstract. The algorithmic correspondence theory is extended to mucalculi with a nonclassical base. We focus in particular on the language of biintuitionistic modal mucalculus, and we enhance the algorithm, or calculus for correspondence, ALBA for the elimination of monadic second order variables, so as to guarantee its success over a class including the Sahlqvist muformulas. Key to the soundness of this enhancement are the ordertheoretic properties of the algebraic interpretation of the fixed point operators.  Abstract. Sahlqviststyle correspondence results remain a perennial theme and an active topic of research within modal logic. Recently there has been interest in extending classical results in this area to the modal mucalculus. We show how the `calculus of correspondence' and the ALBA algorithm (Conradie and Palmigiano, 2012) can be extended to the intuitionistic mucalculus, and be used to derive FO+LFP frame correspondents for formulas of that logic. We define the class of recursive muinequalities, which we compare it with related classes in the literature including the Sahlqvist muformulas of van Benthem, Bezhanishvili and Hodkinson. We show that the ALBA algorithm succeeds in reducing every recursive muinequality, and hence that every recursive muinequality has a frame correspondent in FO+LFP.  Abstract. The notion of structural completeness has received considerable attention for many years. A translating to algebra gives: a quasivariety is structurally complete if it is generated by its free algebras. It appears that many deductive systems (quasivarieties), like S5 or MV<sub>n</sub> fails structural completeness for a rather immaterial reason. Therefore the adjusted notion was introduced: almost structural completeness. We investigate almost structural completeness from an algebraic perspective and obtain a characterization of this notion for quasivarieties.  Abstract. In this paper we characterize the regular medial algebras, the paramedial nary groupoids with a regular element, the paramedial algebras with a regular element and the regular paramedial algebras. Also, we characterize paramedial, comedial and coparamedial pairs of quasigroup operations and paramedial, comedial and coparamedial algebras with the quasigroup operations.  Abstract. We present the results of our research on stonetype dualities for certain classes of ordered algebras that do not fall within the scope of extended Priestleyduality. In a forthcoming paper we study a new spectrallike duality for the class of distributive Hilbert algebras with infimum. We explain the main facts of that duality and we outline how the same strategy could be used for getting a Priestleystyle duality for the same class of algebras, as well as dualities for other classes of algebras.  Abstract. One of the authors introduced in [1] a calculus of circular proofs for studying the computability arising from the following categorical operations: finite products and coproducts, initial algebras, final coalgebras. The calculus of [1] is cutfree; yet, even if sound and complete for provability, it lacks an important property for the semantics of proofs, namely fullness w.r.t. the class of natural categorical models called μbicomplete category in [2].
We fix, with this work, this problem by adding the cut rule to the calculus. To this goal, we need to modifying the syntactical constraints on the cycles of proofs so to ensure soundness of the calculus and at same time local termination of cutelimination. The enhanced proof system fully represents arrows of the intended model, a free μbicomplete category. We also describe a cutelimination procedure as a model of computation arising from the above mentioned categorical operations. The procedure constructs a cutfree prooftree with infinite branches out of a finite circular proof with cuts.
[1] Luigi Santocanale. A calculus of circular proofs and its categorical semantics. In Mogens Nielsen and Uffe Engberg, editors, FoSSaCS, volume 2303 of Lecture Notes in Computer Science, pages 357–371. Springer, 2002.
[2] Luigi Santocanale. μbicomplete categories and parity games. Theoretical Informatics and Applications, 36:195–227, September 2002.  Abstract. We obtain representation theorems for residuated lattices. The representing structure consists of special self maps on an ordered set. We prove two types of theorems; one that generalizes Cayley's theorem for groups/monoids and one (for special residuated lattices) that generalizes Holland's theorem for latticeordered groups. Our results are presented in the language of idempotent semirings and semimodules, and they are first established for these types of structures.  Abstract. The existence of lateral completions of ℓgroups is an old problem that was first solved, for conditionally complete vector lattices, by Nakano. The existence and uniqueness of lateral completions of representable ℓgroups was first obtained as a consequence of the orthocompletions of Bernau, and later the proofs were simplified by Conrad, who also proved the existence and uniqueness of lateral completions of ℓgroups with zero radical. Finally, Bernau solved the problem for ℓgroups in general.
In this work, we address the problem of the existence and uniqueness of lateral, projectable, and strongly projectable completions of residuated lattices. In particular, we push the methods of Conrad through to the case of the representable GMValgebras.
The leading idea is to construct, for any given semilinear residuated lattice, an orthocomplete extension such that the former is dense in the latter. This extension is obtained as the direct limit of a family of residuated lattices that are constructed using maximal partitions of the algebra of polars of the original residuated lattice.
In order to complete the proof we still need another hypothesis, which is an abstraction of the condition of double negation in which commutativity and integrality have been dropped, and determines the wide class of Generalized MValgebras. This, together with the density, allows us to obtain the completions of the given residuated lattice.  Abstract. Skura syntactically characterised intuitionistic propositional logic among all intermediate logics by means of a Łukasiewiczstyle refutation system. Another such syntactic characterisation is given by Iemhoff in terms of admissible rules. Here we offer a bridge between these results. That is to say, we provide sufficient conditions under which admissible rules yield a refutation system fully characterising the logic. In particular, we give a characterisation of the Gabbay–de Jongh logics by means of refutation systems employing ideas from admissibility.  Abstract. We develop a family of displaystyle, cutfree sequent calculi for dynamic epistemic logics on both an intuitionistic and a classical base. Like the standard display calculi, these calculi are modular: just by modifying the structural rules according to Dosen’s principle, these calculi are generalizable both to different Dynamic Logics (Epistemic, Deontic, etc.) and to different propositional bases (Linear, Relevant, etc.). Moreover, the rules they feature agree with the standard relational semantics for dynamic epistemic logics.  Abstract. A description of finitely generated free monadic MValgebras and a characterization of projective monadic MValgebras in locally finite varieties is given. It is shown that unification type of locally finite varieties is unitary.  Abstract. A quite general ordertheoretical approach to implicative structures leads to consider implicative groupoids, which form a wide class of algebras including residuated lattices and their reasonable generalizations. Implicative groupoids find out to be special instances of suitable relational systems and are objects of categories, semicategories and precategories whose morphisms are generalizations of Galois connections.  Abstract. This paper adds monotonicity and antitonicity information to the typed lambda calculus, thereby providing a foundation for the Monotonicity Calculus first developed by van Benthem and others. We establish properties of the type system, propose a syntax, semantics, and proof calculus, and prove completeness for the calculus with respect to hierarchies of monotone and antitone functions over base preorders.  Abstract. In [Riečanová Z, Zajac M.: Hilbert Space EffectRepresentations of Effect Algebras] it was shown that an effect algebra E with an ordering set M of states can by embedded into a Hilbert space effect algebra E(l<sub>2</sub>(M)). We consider the problem when its effect algebraic MacNeille completion Ê can be also embedded into the same Hilbert space effect algebra E(l<sub>2</sub>(M)). That is when the ordering set M of states on E can be be extended to an ordering set of states on Ê. We give an answer for all Archimedean MVeffect algebras and Archimedean atomic lattice effect algebras.  Abstract. N4lattices are the algebraic semantics of paraconsistent Nelson logic, which was introduced as an inconsistencytolerant counterpart of the betterknown logic of Nelson. Paraconsistent Nelson logic combines interesting features of intuitionistic, classical and manyvalued logics (e.g., BelnapDunn fourvalued logic); recent work has shown that it can also be seen as one member of the wide family of substructural logics. The work we present here is a contribution towards a better topological understanding of the algebraic counterpart of paraconsistent Nelson logic, namely a variety of involutive lattices called N4lattices.  Abstract. The category of effect algebras is the EilenbergMoore category for the monad arising from the freeforgetful adjunction between categories of bounded posets and orthomodular posets.
In the category of effect algebras, an observable is a morphism whose domain is a Boolean algebra. The characterization of subsets of ranges of observables is an open problem. For an interval effect algebra E, a witness pair for a subset of S is an object living within E that "witnesses existence" of an observable whose range includes S. We prove that there is an adjunction between the poset of all witness pairs of E and the category of all partially inverted Evalued observables.  Abstract. We show how to implement an effective decision procedure to check if a propositional Basic Logic formula is a tautology. For a formula with $n$ variables, the procedure consists of a translation, depending on $n$, from Basic Logic to the language of Satisfiability Modulo Theories SMTLIB2 using the theory of quantifier free linear real arithmetic. Many efficient SMTsolvers exist to decide formulas in the SMTLIB2 language. We also study finitely generated varieties of Basic Logic (BL)algebras and give a description of the lattice of these varieties. Extensions to finitely generated varieties of Generalized BLalgebras are discussed, and a simple connection between finite GBLalgebras and finite closure algebras is noted.  Abstract. Along the lines of recent investigations combining manyvalued and modal systems, we address the problem of defining and axiomatizing the least modal logic over the fourelement Belnap lattice. By this we mean the logic determined by the class of all Kripke frames where the accessibility relation as well as semantic valuations are fourvalued. Our main result is the introduction of two Hilbertstyle calculi that provide complete axiomatizations for, respectively, the local and the global consequence relations associated to the class of all fourvalued Kripke models. Our completeness proofs make an extensive and profitable use of algebraic and topological techniques; in fact, our algebraic and topological analyses of the logic have, in our opinion, an independent interest and contribute to the appeal of our approach.  Abstract. In 2007, Maddux observed that certain classes of representable relation algebras (RRAs) form sound semantics for some relevant logics. In particular, (a) RRAs of transitive relations are sound for R, and (b) RRAs of transitive, dense relations are sound for RM. He asked whether they were complete as well. Later that year I proved a modest positive result in a similar direction, namely that weakly associative relation algebras, a class (much) larger than RRA, is sound and complete for positive relevant logic B. In 2008, Mikulas proved a negative result: that RRAs of transitive relations are not complete for R. His proof is indirect: he shows that the quasivariety of appropriate reducts of transitive RRAs is not finitely based. Later Maddux reestablished the result in a more direct way. In 2010, Maddux proved a contrasting positive result: that transitive, dense RRAs are complete for RM. He found an embedding of Sugihara algebras into transitive, dense RRAs. I will show that if we give up the requirement of representability, the positive result holds for R as well. To be precise, the following theorem holds.
Theorem. Every normal subdirectly irreducible De Morgan monoid in the language without Ackermann constant can be embedded into a squareincreasing relation algebra. Therefore, the variety of such algebras is sound and complete for R.  Abstract. Moebius transform is introduced for the representation of functions over a semisimple MValgebra. The class of such functions is singled out and the properties of the generalized Moebius transform are studied. The main tool is the Vietoris space of all closed subsets of the maximal spectral space and the associated MValgebra of continuous functions.  Abstract. The lattice of open projection of a C*algebra has a partial monoid structure on compatible elements. However, this does not extend to a total right residuated operation.  Abstract. We study derivational modal logic of real line with difference modality and prove that it has finite model property but does not have finite axiomatization.  Abstract. Finite distributive lattices with antitone involutions (= basic algebras) are studied; it is proved that their underlying lattices are isomorphic to direct products of finite chains, and hence finite distributive basic algebras can be constructed by “perturbing” finite MValgebras, and moreover, under certain natural conditions, they even coincide with finite MValgebras.  Abstract. Using Vaggione's concept of central element in a double pointed algebra, we introduce the notion of Boolean like variety as a generalisation of Boolean algebras to an arbitrary similarity type. Appropriately relaxing the requirement that every element be central in any member of the variety, we obtain the more general class of semiBoolean like varieties, which still retain many of the pleasing properties of Boolean algebras. We prove that a double pointed variety is discriminator iff it is semiBoolean like, idempotent, and 0regular. This theorem yields a new Maltsevstyle characterisation of double pointed discriminator varieties. Moreover, we point out the exact relationship between semiBooleanlike varieties and the quasidiscriminator varieties, and we provide semiBooleanlike algebras with an explicit weak Boolean product representation with directly indecomposable factors. Finally, we discuss idempotent semiBooleanlike algebras. We consider a noncommutative generalisation of Boolean algebras and prove  along the lines of similar results available for pointed discriminator varieties or for varieties with a commutative ternary deduction term that every idempotent semiBooleanlike variety is term equivalent to a variety of noncommutative Boolean algebras with additional operations.  Abstract. Walker's cancellation theorem says that if B + Z is isomorphic to C + Z in the category of abelian groups, then B is isomorphic to C. We construct an example in a diagram category of abelian groups where the theorem fails. As a consequence, the original theorem does not have a constructive proof. In fact, in our example B and C are subgroups of Z<sup>2</sup>. Both of these results contrast with a group whose endomorphism ring has stable range one, which allows a constructive proof of cancellation and also a proof in any diagram category.  Abstract. This is the first part of a series of two abstract, the second one being by Daniel McNeill.
If X is any topological space, its collection of opens sets O(X) is a complete distributive lattice and also a Heyting algebra. When X is equipped with a distinguished basis D(X) for its topology, closed under finite meets and joins, one can investigate situations where D(X) is also a Heyting subalgebra of O(X).
Recall that X is a spectral space if it is compact and T0, its collection D(X) of compact open subsets forms a basis which is closed under finite intersections and unions, and X is sober. By Stone duality, spectral spaces are precisely the spaces arising as sets of prime ideals of some distributive lattice, topologised with the Stone or hullkernel topology. Specifically, given such a spectral space X, its collection of compact open sets D(X) is (naturally isomorphic to) the distributive lattice dual to X under Stone duality. We are going to exhibit a significant class of such spaces for which D(X) is a Heyting subalgebra of O(X).
We work with latticeordered Abelian groups and vector spaces. Using Mundici’s Gammafunctor the results can be rephrased in terms of MValgebras, the algebraic semantics of Lukasiewicz infinitevalued propositional logic.
Let (G,u) be a finitely presented vector lattice (or Qvector lattice, or lgroup) G equipped with a distinguished strong order unit u. It turns out that Spec(G,u), i.e. the the space of prime ideals of (G,u) topologised with the hullkernel topology, is a compact spectral space. Our first main result states that the collection D(Spec(G,u)) of compact open subsets of Spec(G,u) is a Heyting subalgebra of the Heyting algebra of open subsets O(Spec(G,u)).
As a consequence, we also prove that the subspace Min(G,u) of minimal prime ideals of G is a Boolean space, i.e. a compact Hausdorff space whose clopen sets form a basis for the topology.
Further, for any fixed maximal ideal m of G, the set l(m) of prime ideals of G contained in m, equipped with the subspace topology, is a spectral space, and the subspace Min(l(m)) of l(m) is a Boolean space.  Abstract. This is the second part of a series of two abstracts, the first being by Andrea Pedrini. For background and notation on latticeordered Abelian groups, vector lattices and Qvector lattices, and their spectral spaces, please see her submission. We consider the tools of Stone duality and the absolute applied to latticeordered Abelian groups, vector lattices and Qvector lattices. Given a latticeordered Abelian group or Qvector lattice, G, this leads to an interesting parallel between Min(G) and the absolute of Max(G).  Abstract. This paper is a contribution to the presentation of fractal sets in terms of final coalgebras. The first result on this topic was Freyd's Theorem: the unit interval [0,1] is the final coalgebra of a certain functor on the category of bipointed sets. Leinster 2011 offers a sweeping generalization of this result. He is able to represent many of what would be intuitively called "selfsimilar" spaces using (a) bimodules (also called profunctors or distributors), (b) an examination of nondegeneracy conditions on functors of various sorts; (c) a construction of final coalgebras for the types of functors of interest using a notion of resolution. In addition to the characterization of fractals sets as sets, his seminal paper also characterizes them as topological spaces.
Our major contribution is to suggest that in many cases of interest, point (c) above on resolutions is not needed in the construction of final coalgebras. Instead, one may obtain a number of spaces of interest as the Cauchy completion of an initial algebra, and this initial algebra is the set of points in a colimit of an omegasequence of finite metric spaces. This generalizes Hutchinson's 1981 characterization of fractal attractors as closures of the orbits of the critical points. In addition to simplifying the overall machinery, it also presents a metric space which is ``computationally related'' to the overall fractal. For example, when applied to Freyd's construction, our method yields the metric space. of dyadic rational numbers in [0,1].
Our second contribution is not completed at this time, but it is a set of results on \emph{metric space} characterizations of final coalgebras. This point was raised as an open issue in Hasuo, Jacobs, and Niqui 2010, and our interest in quotient metrics comes from their paper. So in terms of (a)(c) above, our work develops (a) and (b) in metric settings while dropping (c).  Abstract. We consider the representation of each extension of the modal logic S4 as sum of two components. The first component in such a representation is always included in Grzegorczyk logic and hence contains "modal resources" of the logic in question, while the second one uses essentially the resources of a corresponding intermediate logic. We prove some results towards the conjecture that every S4logic has a representation with the least component of the first kind.  Abstract. For any BLalgebra L, we construct an associated lattice ordered Abelian group that coincides with the Chang’s lgroup of an MValgebra when the BLalgebra is an MValgebra. We prove that the Chang’s group of the MVcenter of any BLalgebra L is a direct summand in the above group. We also find a direct description of the complement of the Chang’s group of the MVcenter in terms of the filter of dense elements of L. Finally, we compute some examples of the introduced group.  Abstract. Several familiar results about normal and extremally disconnected (classical or pointfree) spaces shape the idea that the two notions are somehow dual to each other and can therefore be studied in parallel. In this talk we discuss the source of this ‘duality’ and show that each pair of parallel results can be framed by the ‘same’ proof. The key tools for this purpose are relative notions of normality, extremal disconnectedness, semicontinuity and continuity (with respect to a fixed class of complemented sublocales of the given locale) that bring and extend to locale theory a variety of wellknown classical variants of normality and upper and lower semicontinuities in a illuminating unified manner. This approach allows us to unify under a single localic proof a great variety of classical insertion results, as well as their corresponding extension results.  Abstract. A state operator on effect algebras is introduced as an additive, idempotent and unital mapping from the effect algebra into itself. The definition is inspired by the definition of an internal state on MValgebras, recently introduced by Flaminio and Montagna. We study state operators on convex effect algebras, and show their relations with conditional expectations on operator algebras.  Abstract. Hybrid logic extends modal logic with a special sort of variables, called nominals, which are evaluated to singletons in Kripke models by valuations, thus acting as names for states in models. Various syntactic mechanisms for exploiting and enhancing the expressive power gained through the addition of nominals can be included, most characteristically the satisfaction operator, @_ip, allowing one to express that p holds at the world named by a nominal i.
R.A. Bull famously proved that each normal extension of S4.3 has the finite model property. In the current paper, we prove a hybrid analogue of Bull's result. Like the proof of Bull's original result, ours is algebraic, and thus our secondary aim with this work is to illustrate the usefulness of algebraic methods within hybrid logic research, a field where such methods have been largely ignored.  Abstract. A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, indeed coNPcompleteness, for a Gödel S5 logic that coincides with the onevariable fragment of firstorder Gödel logic.  Abstract. Classically, Hopf algebras are defined on the basis of modules over commutative rings. The present study seeks to extend the Hopf algebra formalism to a more general universalalgebraic setting, entropic varieties, including (pointed) sets, barycentric algebras, semilattices, and commutative monoids. The concept of a setlike (or grouplike) element may be defined, and group algebras constructed, in any such variety. In particular, group algebras within the variety of barycentric algebras consist precisely of finitely supported probability distributions on groups. For primitive elements and group quantum doubles, the natural universalalgebraic classes are entropic JónssonTarski varieties (such as semilattices or commutative monoids). There, the tensor algebra on any algebra is a bialgebra, and the set of primitive elements of a Hopf algebra forms an abelian group. Coalgebra congruences on comonoids in entropic varieties are also studied.  Abstract. We generalize the double negation construction of Boolean algebras in Heyting algebras, to a double negation construction of the same in Visser algebras (also known as basic algebras). This result allows us to generalize Glivenko's Theorem from intuitionistic propositional logic and Heyting algebras to Visser's basic propositional logic and Visser algebras.  Abstract. We consider propositional language endowed with three families of modal operators: operators of the first type are interpreted by iterations of the Cantor derivative, operators of the second and the third types are interpreted by the image and the preimage of finitary operations on a topological space. We describe logics in this language that are sound and complete w.r.t. operations of a certain kind: injective, continuous, open, closed, continuous and discrete, closed of finite rank, separately continuous and separately discrete, etc. These results are based on our recent work "On interactions of the Cantor derivative and images of finitary maps between topological spaces" (2012, submitted to Topology and its Applications).  Abstract. We consider shifted products of modal algebras and logics first introduced by Y. Hasimoto in 2000. For logics this operation is similar to the wellknown usual product but it is logically invariant. We prove the conjecture of D. Gabbay that shifted products act on Boolean algebras exactly as tensor products, so we call them tensor products of modal algebras. We also propose a filtration technique for models based on tensor products and obtain some decidability results.  Abstract. Two weakened versions of the constant domains principle D are considered. The Kripke sheaf incompleteness of superintuitionistic predicate logics, obtained by adding these weakened principles to predicate versions of superintuitionistic propositional logics of finite slices, is claimed. So a difference between these principles and the principle D is shown. The incompleteness proof uses the functor semantics.  Abstract. The concept of quantum triad has been introduced by D. Kruml, where for a given pair of quantale modules L, R over a common quantale Q, endowed with a bimorphism (a `bilinear map') to Q, a construction equipping L and R with additional module structure and another bimorphism, both compatible with the existing bimorphism and action of the quantale, was presented. As the original concept was only defined in a specific setting of categories of quantale modules, we extend it to a more universal one, which can be applied to other common algebraic structures.  Abstract. This talk provides a fuzzification procedure for topological categories, i.e., given a topological category A, there exists a topological category B, which contains A as a full concretely coreflective subcategory, and which can be considered as a fuzzification of A.  Abstract. We set up a framework that subsumes many important dualities in mathematics (Birkhoff, Stone, Priestly, BakerBeynon, etc.) as well as the classical correspondence between polynomial ideals and affine varieties in algebraic geometry. Our main theorems provide a generalisation of Hilbert's Nullstellensatz to any (possibly infinitary) variety of algebras. The common core of the above dualities becomes then clearly visible and sets the basis to a canonical method to seek for a geometric dual to any given variety of algebras.  Abstract. We review and collect some results on reducts and modal operators on residuated lattices.  Abstract. A poset model of a topological space X is a poset P such that the subspace Max(P) of the Scott space ΣP consisting of all maximal points of P is homeomorphic to X. Every T<sub>1</sub> space has a (bounded complete algebraic) poset model. It is, however, not known whether every T<sub>1</sub> space has a dcpo model and whether every sober T<sub>1</sub> space has a dcpo model whose Scott topology is sober. In this paper we give a positive answer to these two problems. For each T<sub>1</sub> space X we shall construct a dcpo A that is a model of X, and prove that X is sober if and only if the Scott topology of A is sober. One useful byproduct is a method that can be used to construct more nonsober dcpos. 

