Towards constructive DL for abstraction and refinement

DOI10.1007/s10817-009-9151-8zbMath1197.03029OpenAlexW2085690665MaRDI QIDQ972423

Michael Mendler, Stephan Scheele

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-9151-8

zbMATH Keywords

Curry-Howard isomorphismauditingconstructive description logicGentzen tableau calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (8)

KALC: a constructive semantics for ALC ⋮ The Došen square under construction: a tale of four modalities ⋮ Embedding Constructive K into Intuitionistic K ⋮ Implementation of hierarchical single surface δ0 and δ1 models in finite element procedure ⋮ Constructive Description Logics Hybrid-Style ⋮ Towards constructive DL for abstraction and refinement ⋮ Bridges from Language to Logic: Concepts, Contexts and Ontologies ⋮ Cut-free Gentzen calculus for multimodal CK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive modal logics. I
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Towards constructive DL for abstraction and refinement
• A four-valued semantics for terminological logics
• Constructivism in mathematics. An introduction. Volume II
• Many-dimensional modal logics: theory and applications
• A survey of temporal extensions of description logics
• Intuitionistic hybrid logic
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Intuitionistic tense and modal logic
• A Logic for Partial System Description

This page was built for publication: Towards constructive DL for abstraction and refinement