No label defined (Q5869606)
From MaRDI portal
scientific article; zbMATH DE number 7594172
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7594172 |
Statements
28 September 2022
0 references
relevant logic
0 references
justification logic
0 references
soundness and completeness
0 references