No label defined (Q4312195)
From MaRDI portal
scientific article; zbMATH DE number 682472
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 682472 |
Statements
3 January 1995
0 references
intuitionistic logic
0 references
classical logic
0 references
independent axiomatization
0 references
free axiomatization
0 references
free Boolean algebra
0 references
filter
0 references
free base
0 references
