3 citations · 6 across the 12 of their papers we have counts for
14 papers
Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
José Luis Castiglioni, Rodolfo C. Ertola-Biraben
We provide a rough sets semantics for the three-valued extension of first-order Priest's da Costa logic, which we studied in [Castiglioni, J.L. and Ertola-Biraben, R.C. Modalities…
Assume-guarantee contract algebras are dp-algebras
Jose Luis Castiglioni, Rodolfo Ertola-Biraben
In [Incer Romeo, I. X., \textit{The Algebra of Contracts}. Ph.D. Thesis, UC Berkeley (2022)] an algebraic perspective on assume-guarantee contracts is proposed. This proposal relie…
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…
Generalized Chain Products of MTL-chains
Jose L Castiglioni, William J. Zuluaga Botero
In this paper we present a different approach to ordinal sums of MTL-chains, as extensions of finite chains in the category of semihoops. In addition, we prove in a very simple way…
Prelinear Hilbert algebras
Jose Luis Castiglioni, Sergio A. Celani, Hernan J. San Martin
In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras (i.e., prelinear Heyting algebras) to the a…
Variations of the free implicative semilattice extension of a Hilbert algebra
José L. Castiglioni, Hernán J. San Martín
In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description…