Conference papers accepted: EUSFLAT
01/09/23/12:17 Filed in: Conference papers
T. Flaminio, Ll. Godo, N. Madrid, M. Ojeda-Aciego. A Logic to Reason About f-Indices of Inclusion over Ł𝑛. Proc. of EUSFLAT 2023.
ABSTRACT In this paper we provide a sound and complete logic to formalise and reason about f-indices of inclusion. The logic is based on finite-valued Lukasiewicz logic and its S5-like modal extension S5(L) with additional unary operators.
Published in Lecture Notes in Computer Science, vol 14069: 530-539, 2023.
M. Ojeda-Hernández, P. Cordero, I.P. Cabrera, E. Muñoz-Velasco. Closure structures as fixed points of some Galois connections. Proc. of EUSFLAT 2023.
Extended abstract published in Book of Abstracts EUSFLAT 2023.