×

zbMATH — the first resource for mathematics

Semantics for constructive negations. (English) Zbl 0997.03004
Wansing, Heinrich (ed.), Essays on non-classical logic. Including papers from the workshop, Konstanz, Germany, October 5-6, 1999. Singapore: World Scientific Publishing. Adv. Log. 1, 187-217 (2001).

MSC:
03B20 Subsystems of classical logic (including intuitionistic logic)
PDF BibTeX XML Cite