2 papers
cs.LO2026
Self-extensional logics of formal inconsistency: Decidability and limits for paraconsistency
Marcelo E. Coniglio, Héctor Federico Mallea
RmbC is a self-extensional paraconsistent logic in the family of Logics of Formal Inconsistency (LFIs). This system is obtained from mbC (the basic LFI) by adding the replacement p…
math.LO2022
On subreducts of subresiduated lattices and logic
J. L. Castiglioni, V. Fernández, H. F. Mallea +1
Subresiduated lattices were introduced during the decade of 1970 by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy a…