On the Semilattice of Modal Operators and Decompositions of the Discriminator

, &
In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 207-231 (2021)
  Copy   BIBTEX

Abstract

We investigate the join semilattice of modal operators on a Boolean algebra B. Furthermore, we consider pairs ⟨f,g⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\langle f,g \rangle $$\end{document} of modal operators whose supremum is the unary discriminator on B, and study the associated bi-modal algebras.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-030-64187-0_9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Antibasis theorems for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi^0_1}$$\end{document} classes and the jump hierarchy. [REVIEW]Ahmet Çevik - 2013 - Archive for Mathematical Logic 52 (1-2):137-142.
A proof of strongly uniform termination for Gödel's \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document} by methods from local predicativity. [REVIEW]Andreas Weiermann - 1997 - Archive for Mathematical Logic 36 (6):445-460.
Maximally embeddable components.Miloš S. Kurilić - 2013 - Archive for Mathematical Logic 52 (7-8):793-808.
Axiomatizability by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\forall}{\exists}!}$$\end{document}-sentences. [REVIEW]Miguel Campercholi & Diego Vaggione - 2011 - Archive for Mathematical Logic 50 (7-8):713-725.
The $$q$$ q -majority efficiency of positional rules.Sébastien Courtin, Mathieu Martin & Issofa Moyouwou - 2015 - Theory and Decision 79 (1):31-49.
A characterization of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square(\kappa^{+})}$$\end{document} in extender models. [REVIEW]Kyriakos Kypriotakis & Martin Zeman - 2013 - Archive for Mathematical Logic 52 (1-2):67-90.
Creature forcing and large continuum: the joy of halving.Jakob Kellner & Saharon Shelah - 2012 - Archive for Mathematical Logic 51 (1-2):49-70.
Immunity properties and strong positive reducibilities.Irakli O. Chitaia, Roland Sh Omanadze & Andrea Sorbi - 2011 - Archive for Mathematical Logic 50 (3-4):341-352.
On the Jordan-Hölder decomposition of proof nets.Q. Puite, J. In Engelfriet, T. Spaan, H. Schellinx, R. Moot, G. J. M. In Kruijff, R. T. Oehrle, W. J. Grootjans, M. Hochstenbach & J. Hurink - 1997 - Archive for Mathematical Logic 37 (1):59-65.
Menger’s theorem in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\Pi^11\tt{-CA}0}}$$\end{document}. [REVIEW]Paul Shafer - 2012 - Archive for Mathematical Logic 51 (3-4):407-423.

Analytics

Added to PP
2022-03-09

Downloads
9 (#1,281,906)

6 months
7 (#491,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references