A sequent calculus for reasoning in four-valued Description Logics (Q4610338)
From MaRDI portal
scientific article; zbMATH DE number 7002288
Language | Label | Description | Also known as |
---|---|---|---|
English | A sequent calculus for reasoning in four-valued Description Logics |
scientific article; zbMATH DE number 7002288 |
Statements
A sequent calculus for reasoning in four-valued Description Logics (English)
0 references
15 January 2019
0 references
decision procedure
0 references
description logic
0 references
conjunctive normal form
0 references
sequent calculus
0 references
proof tree
0 references