Pages that link to "Item:Q946573"
From MaRDI portal
The following pages link to Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573):
Displaying 6 items.
- A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability (Q695777) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
