arXiv subjects
Publications and source records attributed to Laurent De Rudder.
We establish a new category equivalent to compact pospaces, and which extend the equivalence between compact Hausdorff spaces and Gleason spaces. As a corollary of this equivalence, we obtain in particular, that every compact pospace is the quotient of an f-space.
We prove an algebraic canonicity theorem for normal LE-logics of arbitrary signature, in a generalized setting in which the non-lattice connectives are interpreted as operations mapping tuples of elements of the given lattice to closed or open elements of its canonical extension. Interestingly, the syntactic shape of LE-inequalities which guarantees their canonicity in this generalized setting turns out to coincide with the syntactic shape of analytic inductive inequalities, which guarantees LE-inequalities to be equivalently captured by analytic structural rules of a proper display calculus. We show that this canonicity result connects and strengthens a number of recent canonicity results in two different areas: subordination algebras, and transfer results via Gödel-McKinsey-Tarski translations.
The aim of this paper is to show that even if the natural algebraic semantic for modal (normal) logic is modal algebra, the more general class of subordination algebras (roughly speaking, the non symmetric contact algebras) is adequate too - so leading to completeness results. This motivates for an algebraic (in the sense of universal algebra) study of those relational structures that are subordinate algebras.