Measuring inconsistency with the tableau method

Ribeiro, Jandson S. and Thimm, Matthias 2023. Measuring inconsistency with the tableau method. Journal of Logics and their Applications 10 (5) , pp. 643-691.

Full text not available from this repository.

Item Type:	Article
Date Type:	Publication
Status:	Published
Schools:	Schools > Computer Science & Informatics
ISSN:	2055-3706
Date of Acceptance:	2023
Last Modified:	14 Jan 2026 15:43
URI:	https://orca.cardiff.ac.uk/id/eprint/180314

Actions (repository staff only)

Edit Item