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

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

EUSFLAT/AGOP（2023）

引用 0|浏览1

暂无评分

摘要

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.

查看译文

关键词

inclusion,f-indices

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要