A new constructive logic: classic logic (Q4006233)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new constructive logic: classic logic |
scientific article |
Statements
A new constructive logic: classic logic (English)
0 references
26 September 1992
0 references
Gentzen-type system LC for classical first order predicate logic
0 references
negative translation of classical logic into intuitionistic logic
0 references
semantics for derivations in LC
0 references
correlation space
0 references
coherent spaces
0 references
semantics for derivations in \(LC\)
0 references
