KALC: a constructive semantics for ALC

DOI10.3166/JANCL.21.233-255zbMath1242.68304OpenAlexW2019636538MaRDI QIDQ2901214

Paola Villa

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.21.233-255

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Optimization techniques for propositional intuitionistic logic and their implementation
• Towards constructive DL for abstraction and refinement
• \(\mathcal {BCDL}\): Basic constructive description logic
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic

This page was built for publication: KALC: a constructive semantics for ALC