\(\mathcal {BCDL}\): Basic constructive description logic

DOI10.1007/s10817-009-9160-7zbMath1197.03027MaRDI QIDQ972431

Guido Fiorino, Mauro Ferrari, Camillo Fiorentini

Publication date: 26 May 2010

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-009-9160-7

zbMATH Keywords

natural deduction; description logics; constructive logics

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

Related Items

KALC: a constructive semantics for ALC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• A constructivism based on classical truth
• Semantical investigations in Heyting's intuitionistic logic
• From constructivism to computer science
• Abstract parametric classes and abstract data types defined by classical and constructive logical methods
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Actions Over a Constructive Semantics for Description Logics
• Snapshot Generation in a Constructive Object-Oriented Modeling Language
• Constructible falsity