Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALCC

Anderson, 1975 Belnap, 1977, A useful four-valued logic, 8 Dunn, 1976, Intuitive semantics for first-degree entailment and ‘coupled trees’, Philosophical Studies, 29, 149, 10.1007/BF00373152 Dunn, 2000, Partiality and its dual, Studia Logica, 66, 5, 10.1023/A:1026740726955 Dyckhoff, 1992, Contraction-free sequent calculi for intuitionistic logic, Journal of Symbolic Logic, 57, 795, 10.2307/2275431 Fischer Servi, 1984, Axiomatizations for some intuitionistic modal logics, Red. Sem. Mat. Universi. Politec. Torino, 42, 179 C. Grefe. Fischer Servi's intuitionistic modal logic has the finite model property, in: M. Kracht, et al. (Eds.), Advances in Modal Logic, vol. 1, CSLI Lecture Notes, vol. 87, 1998, pp. 85–98 Horrocks, 1999, A description logic with transitive and inverse roles and role hierarchies, Journal of Logic and Computation, 9, 385, 10.1093/logcom/9.3.385 Hudelmaier, 1993, An O(nlogn)-space decision procedure for intuitionistic propositional logic, Journal of Logic and Computation, 3, 63, 10.1093/logcom/3.1.63 Kamide, 2006, Phase semantics and Petri net interpretations for resource-sensitive strong negation, Journal of Logic, Language and Information, 15, 371, 10.1007/s10849-005-9000-z C. Meghini, U. Straccia, A relevance terminological logic for information retrieval, in: Proceedings of SIGIR-96, 19th International Conference on Research and Development in Information Retrieval, Zurich, Switzerland, 1996, pp. 197–205 Odintsov, 2003, Inconsistency-tolerant description logic: Motivation and basic systems, 301, 10.1007/978-94-017-3598-8_11 Odintsov, 2004, Constructive predicate logic and constructive modal logic. Formal duality versus semantical duality, 269 de Paiva Patel-Schneider, 1989, A four-valued semantics for terminological logics, Artificial Intelligence, 38, 319, 10.1016/0004-3702(89)90036-2 Priest, 2001 Shramko, 2005, Some useful sixteen-valued logics: How a computer network should think, Journal of Philosophical Logic, 34, 121, 10.1007/s10992-005-0556-5 A.K. Simpson, The proof theory and semantics of intuitionistic modal logics, PhD Thesis, University of Edinburgh, 1994 Straccia, 1997, A sequent calculus for reasoning in four-valued description logics, vol. 1227, 343 Wansing, 1993, The Logic of Information Structures, vol. 681