Journal
LOGIC JOURNAL OF THE IGPL
Volume -, Issue -, Pages -Publisher
OXFORD UNIV PRESS
DOI: 10.1093/jigpal/jzad025
Keywords
-
Categories
Ask authors/readers for more resources
This paper introduces various $I$-modal ririgs and characterizes the congruence lattice of its members using $I$-filters. It provides a description of $I$-filter generation and presents an axiomatic presentation for the variety generated by chains of the subvariety of contractive $I$-modal ririgs. Finally, it introduces a Hilbert-style calculus for a logic with $I$-modal ririgs as an equivalent algebraic semantics and proves the parametrized local deduction-detachment theorem for such a logic.
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 of $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 for 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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available