Constraint tableaux for two-dimensional fuzzy logics
Logic
2022-05-31 v2
Abstract
We introduce two-dimensional logics based on \L{}ukasiewicz and G\"{o}del logics to formalize paraconsistent fuzzy reasoning. The logics are interpreted on matrices, where the common underlying structure is the bi-lattice (twisted) product of the interval. The first (resp.\ second) coordinate encodes the positive (resp.\ negative) information one has about a statement. We propose constraint tableaux that provide a modular framework to address their completeness and complexity.
Cite
@article{arxiv.2105.07217,
title = {Constraint tableaux for two-dimensional fuzzy logics},
author = {Marta Bílková and Sabine Frittella and Daniil Kozhemiachenko},
journal= {arXiv preprint arXiv:2105.07217},
year = {2022}
}