Measuring inconsistency with the tableau method

Ribeiro, J.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
Status:	Published
Schools:	Schools > Computer Science & Informatics
Date of Acceptance:	2023
Last Modified:	11 Aug 2025 11:37
URI:	https://orca.cardiff.ac.uk/id/eprint/180314

Actions (repository staff only)

Edit Item