Constraint Tableaux for Two-Dimensional Fuzzy Logics

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko. Constraint Tableaux for Two-Dimensional Fuzzy Logics. In Anupam Das 0002, Sara Negri, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings. Volume 12842 of Lecture Notes in Computer Science, pages 20-37, Springer, 2021. [doi]

Authors

Marta Bílková

This author has not been identified. Look up 'Marta Bílková' in Google

Sabine Frittella

This author has not been identified. Look up 'Sabine Frittella' in Google

Daniil Kozhemiachenko

This author has not been identified. Look up 'Daniil Kozhemiachenko' in Google