Search
Search Results
-
Duality for normal lattice expansions and sorted residuated frames with relations
We revisit the problem of Stone duality for lattices with quasioperators, presenting a fresh duality result. The new result is an improvement over...
-
Basics from Universal Algebra
The title of this book is Universal Algebraic Logic. One reading of this title is: (Universal Algebraic) Logic, meaning a stance of algebraic logic... -
On Inverse Operators in Dynamic Epistemic Logic
We extend Dynamic Epistemic Logic with inverse operators $$\langle \!\langle... -
Appendix: Algebras of relations
In this chapter we briefly introduce the classes of algebras that have occurred in the book as algebraic versions of logics.1 This chapter is... -
Notions of representability for cylindric algebras: some algebras are more representable than others
The theory of cylindric algebras was introduced by Tarski in the fifties of the twentieth century, and its intensive study was further pursued by...
-
Canonical extensions: an algebraic approach to Stone duality
This note aims to highlight some of the conceptual contributions to duality theory made by Bjarni Jónsson through the theory of canonical extensions.
-
An optimization model for site-wide scheduling of coupled production plants with an application to the ammonia network of a petrochemical site
This contribution presents the modeling and optimization of the operation of production plants that are coupled via distribution networks and applies...
-
Accelerating f(T) Gravity Models Constrained by Recent Cosmological Data
Generalised Teleparallel gravity, also referred to as f(T) gravity, has been recently proposed as an extended theory of gravitation able to give rise... -
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
We define Sahlqvist fixed point equations and relativized fixed point Boolean algebras with operators (relativized fixed point BAOs). We show that...
-
On independent varieties and some related notions
We investigate the relation of independence between varieties, as well as a generalisation of such which we call strict quasi-independence ....
-
Crs and Guarded Logics: A Fruitful Contact
Back and forth between algebra and model theory. Algebra and model theory are complementary stances in the history of logic, and... -
Representing all Cylindric Algebras by Twisting on a Problem of Henkin
Had the class of cylindric set algebras turned out to be finitely (and/or nicely) axiomatizable, algebraic logic would have evolved along a markedly... -
Representable Cylindric Algebras and Many-Dimensional Modal Logics
The equationally expressible properties of the cylindrifications and the diagonals in finite-dimensional representable cylindric algebras can be... -
Completions and Complete Representations
The title of this chapter indicates a rather technical topic, but it can also be thought of as a foundational issue in logic. The question to be... -
Topological Duality for Boolean Algebras with a Normal n-ary Monotonic Operator
In this paper we shall give a topological duality for Boolean algebras endowed with an n -ary monotonic operator (BAMOs). The dual spaces of BAMOs are...
-
All Splitting Logics in the Lattice NExt(KTB)
It is proved that there are only two logics that split the lattice Next(KTB). The proof is based on the general splitting theorem by Kracht and... -
Stability of the Blok Theorem
W. Blok proved that varieties of boolean algebras with a single unary operator uniquely determined by their class of perfect algebras (i.e., duals of...
-
Completions of GBL-algebras: negative results
We provide a simple sufficient criterion to show that a given variety of GBL-algebras does not admit (local) completions. As corollaries, we obtain...
-
Boolean Topological Distributive Lattices and Canonical Extensions
This paper presents a unified account of a number of dual category equivalences of relevance to the theory of canonical extensions of distributive...