Constraint tableaux for two-dimensional fuzzy logics

DOI10.1007/978-3-030-86059-2_2arXiv2105.07217MaRDI QIDQ6367714

Sabine Frittella, Marta Bílková, Daniil Kozhemiachenko

Publication date: 15 May 2021

Mathematics Subject Classification ID

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

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