Constraint Tableaux for Two-Dimensional Fuzzy Logics
2021
We introduce two-dimensional logics based on Łukasiewicz and Godel 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 $[0,1]$ 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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
28
References
0
Citations
NaN
KQI