Modal expansions of ririgs
Logic
2022-08-10 v1
Abstract
In this paper we introduce the variety of I-modal ririgs. We characterize the congruence lattice of its members by means of I-filters and we provide a description on I-filter generation. We also provide an axiomatic presentation for the variety generated by chains of the subvariety of contractive I-modal ririgs. Finally, we introduce a Hilbert-style calculus of a logic with I-modal ririgs as an equivalent algebraic semantics and we prove that such a logic has the parametrized local deduction-detachment theorem.
Keywords
Cite
@article{arxiv.2208.04533,
title = {Modal expansions of ririgs},
author = {Agustín L. Nagy and William J. Zuluaga Botero},
journal= {arXiv preprint arXiv:2208.04533},
year = {2022}
}