Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
type: Item
instance of: scholarly article
title: Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
zbMATH Open document ID: 1149.03023
author: S. P. Odintsov
author: Heinrich Wansing
published in: Journal of Applied Logic
publication date: 2008-09-23T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5346257
zbMATH Keywords: description logic
zbMATH Keywords: tableau algorithms
zbMATH Keywords: constructive logic
zbMATH Keywords: paraconsistent logic
MaRDI profile type: Publication
full work available at URL: j.jal.2007.06.001
OpenAlex ID: W2092329913
cites work: Q4085699
cites work: Q3858244
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Partiality and its dual
cites work: Contraction-free sequent calculi for intuitionistic logic
cites work: Q3720564
cites work: Q4215613
cites work: A description logic with transitive and inverse roles and role hierarchies
cites work: An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
cites work: Phase semantics and Petri net interpretation for resource-sensitive strong negation
cites work: Q4463936
cites work: Q3367330
cites work: A four-valued semantics for terminological logics
cites work: An introduction to non-classical logic
cites work: Some useful 16-valued logics: How a computer network should think
cites work: A sequent calculus for reasoning in four-valued Description Logics
cites work: The logic of information structures
DOI: 10.1016/J.JAL.2007.06.001
description: scientific article; zbMATH DE number 5346257