Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005)
From MaRDI portal
scientific article; zbMATH DE number 6983878
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Useful Four-Valued Extension of the Temporal Logic KtT4 |
scientific article; zbMATH DE number 6983878 |
Statements
Useful Four-Valued Extension of the Temporal Logic KtT4 (English)
0 references
23 November 2018
0 references
temporal logic
0 references
many-valued logic
0 references
bi-intuitionistic logic
0 references
paraconsistent logic
0 references
sequent calculus
0 references
duality
0 references
cut-redundancy
0 references
