A Logic to Reason About f-Indices of Inclusion over Ł

Download PDF
Open Webpage

Tommaso Flaminio, Lluís Godo, Nicolás Madrid, Manuel Ojeda-Aciego

Published: 01 Jan 2023, Last Modified: 23 May 2025EUSFLAT/AGOP 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
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 Łukasiewicz logic Ł\(_n\) and its S5-like modal extension S5(Ł\(_n\)) with additional unary operators.