BECAS
NAGY Agustin Leonel
artículos
Título:
Modal expansions of ririgs
Autor/es:
NAGY, AGUSTÍN L; ZULUAGA BOTERO, WILLIAM J
Revista:
LOGIC JOURNAL OF THE IGPL (PRINT)
Editorial:
OXFORD UNIV PRESS
Referencias:
Año: 2023
ISSN:
1367-0751
Resumen:
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.
