No label defined (Q5257744)
From MaRDI portal
scientific article; zbMATH DE number 6453187
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6453187 |
Statements
29 June 2015
0 references
RDP logic system
0 references
generalized tautologies
0 references
generalized semantic MP rule
0 references
generalized semantic HS rule
0 references