Van den Berg sel., Line; Busaniche, Manuela; Marcos, Miguel; Metcalfe, George (2024). Towards an algebraic theory of KD45-like logics. In: Proceedings of AiML 2024. Advances in Modal Logic: Vol. 15 (pp. 171-186). College Publications
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
BBM_final.pdf - Accepted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (398kB) | Request a copy |
Algebraic semantics are introduced for a family of 'KD45-like' modal substructural logics as a generalization of Bezhanishivili's pseudomonadic algebras for the modal logic KD45. It is shown that these structures correspond to ordered pairs consisting of an FLe-algebra (or commutative pointed residuated lattice) and a subalgebra with a suitable lattice filter, extending a similar result for 'S5-like' logics. It is then shown that if the FLe-algebra reduct belongs to a variety that has the superamalgamation property, then the structure equipped with an additional constant is representable as an algebra of functions from a set of worlds to an FLe-algebra of the same variety.
Item Type: |
Book Section (Book Chapter) |
|---|---|
Division/Institute: |
08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics |
UniBE Contributor: |
Van den Berg sel., Line, Metcalfe, George |
Subjects: |
500 Science > 510 Mathematics |
ISBN: |
978-1-84890-467-5 |
Series: |
Advances in Modal Logic |
Publisher: |
College Publications |
Language: |
English |
Submitter: |
George Metcalfe |
Date Deposited: |
15 Aug 2024 07:38 |
Last Modified: |
15 Aug 2024 07:38 |
BORIS DOI: |
10.48350/199702 |
URI: |
https://boris.unibe.ch/id/eprint/199702 |
Actions (login required)
 |
Edit item |