No label defined (Q4941997)
From MaRDI portal
scientific article; zbMATH DE number 1418442
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1418442 |
Statements
26 July 2001
0 references
basic propositional logic system B
0 references
extensions
0 references
classical logic
0 references
intuitionistic logic
0 references
orthologic
0 references
linear logic
0 references