Constraint tableaux for two-dimensional fuzzy logics

DOI10.1007/978-3-030-86059-2_2MaRDI QIDQ6367714arXivFDO

Authors Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

Publication date 15 May 2021

Published in arXiv

Full work available at URL https://doi.org/10.1007/978-3-030-86059-2_2

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

arXiv classification

math.LO

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 $[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.

This page was built for publication: Constraint tableaux for two-dimensional fuzzy logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6367714)