On subreducts of subresiduated lattices and logic
JL Castiglioni, V Fernández, HF Mallea… - arXiv preprint arXiv …, 2022 - arxiv.org
JL Castiglioni, V Fernández, HF Mallea, HJ San Martín
arXiv preprint arXiv:2211.02963, 2022•arxiv.orgSubresiduated 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
and Hacking. These logics are examples of subuintuitionistic logics, ie, logics in the
language of intuitionistic logic that are defined semantically by using Kripke models, in the
same way as intuitionistic logic is defined, but without requiring of the models some of the
properties required in the intuitionistic case. Also in relation with the study of subintuitionistic …
an algebraic counterpart of some logics with strong implication previously studied by Lewy
and Hacking. These logics are examples of subuintuitionistic logics, ie, logics in the
language of intuitionistic logic that are defined semantically by using Kripke models, in the
same way as intuitionistic logic is defined, but without requiring of the models some of the
properties required in the intuitionistic case. Also in relation with the study of subintuitionistic …
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 and Hacking. These logics are examples of subuintuitionistic logics, i.e., logics in the language of intuitionistic logic that are defined semantically by using Kripke models, in the same way as intuitionistic logic is defined, but without requiring of the models some of the properties required in the intuitionistic case. Also in relation with the study of subintuitionistic logics, Celani and Jansana get these algebras as the elements of a subvariety of that of weak Heyting algebras. Here, we study both the implicative and the implicative-infimum subreducts of subresiduated lattices. Besides, we propose a calculus whose algebraic semantics is given by these classes of algebras. Several expansions of this calculi are also studied together to some interesting properties of them.
arxiv.org