Computing with Cylindric Modal Logics and Arrow Logics,Lower Bounds

The complexity of the satisfiability problems of various arrow logics and cylindric modal logics is determined. As is well known, relativising these logics makes them decidable. There are several parameters that can be set in such a relativisation. We focus on the following three: the number of variables involved, the similarity type and the kind of relativised models considered. The complexity analysis shows the importance and relevance of these parameters.     

Decomposability of the Finitely Generated Free Hoop Residuation Algebra

In this paper we prove that, for n > 1, the n-generated free algebra in any locally finite subvariety of HoRA can be written in a unique nontrivial way as Ł₂ × A′, where A′ is a directly indecomposable algebra in . More precisely, we prove that the unique nontrivial pair of factor congruences of is given by the filters and , where the element is recursively defined from the term introduced by W. H. Cornish. As an additional result we obtain a characterization of minimal irreducible filters of in terms of its coatoms. Presented by Daniele Mundici     

A Note on Neat Reducts

SC, CA, QA and QEA denote the class of Pinter’s substitution algebras, Tarski’s cylindric algebras, Halmos’ quasi-polyadic and quasi-polyadic equality algebras, respectively. Let . and . We show that the class of n dimensional neat reducts of algebras in K _m is not elementary. This solves a problem in [2]. Also our result generalizes results proved in [1] and [2]. Presented by Robert Goldblatt     

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators,and Applications to the Semantics of Non-Classical Logics I

The main goal of this paper is to explain the link between the algebraic and the Kripke-style models for certain classes of propositional logics. We start by presenting a Priestley-type duality for distributive lattices endowed with a general class of well-behaved operators. We then show that finitely-generated varieties of distributive lattices with operators are closed under canonical embedding algebras. The results are used in the second part of the paper to construct topological and non-topological Kripke-style models for logics that are sound and complete with respect to varieties of distributive lattices with operators in the above-mentioned classes. This revised version was published online in June 2006 with corrections to the Cover Date.     

The Scope and Limitations of Algebras: Some Historical and Philosophical Considerations

An important feature of mathematics, both pure and applied, during the nineteenth century was the widening from its common form to a proliferation, where the “objects” studied were not numbers or geometrical magnitudes but operations such as functions and differentiation and integration, abstract ones (as we now call them), linear algebras of vectors, matrices and determinants, and algebras in logic. In this article the author considers several of them, including the contributions of Hermann Grassmann and Benjamin Peirce. A notable feature of these developments was analogising from one algebra to another by adopting some of the same laws, such as associativity, commutativity and distributivity. In the final section we consider the normally secular character of these algebras.     

On the Ranges of Algebraic Functions on Lattices

We study ranges of algebraic functions in lattices and in algebras, such as Łukasiewicz-Moisil algebras which are obtained by extending standard lattice signatures with unary operations.We characterize algebraic functions in such lattices having intervals as their ranges and we show that in Artinian or Noetherian lattices the requirement that every algebraic function has an interval as its range implies the distributivity of the lattice. Presented by Daniele Mundici     

Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes

CRS(fc) denotes the variety of commutative residuated semilattice-ordered monoids that satisfy (x ⋀ e)^k ≤ (x ⋀ e)^k+1. A structural characterization of the subdi-rectly irreducible members of CRS(k) is proved, and is then used to provide a constructive approach to the axiomatization of varieties generated by positive universal subclasses of CRS(k). Dedicated to the memory of Willem Johannes Blok     

Varieties of Monadic Heyting Algebras Part II: Duality Theory

In this paper we continue the investigation of monadic Heyting algebras which we started in [2]. Here we present the representation theorem for monadic Heyting algebras and develop the duality theory for them. As a result we obtain an adequate topological semantics for intuitionistic modal logics over MIPC along with a Kripke-type semantics for them. It is also shown the importance and the effectiveness of the duality theory for further investigation of monadic Heyting algebras and logics over MIPC.     

Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics

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