Paraconsistent double negations as classical and intuitionistic negations (Q1685568)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Paraconsistent double negations as classical and intuitionistic negations |
scientific article |
Statements
Paraconsistent double negations as classical and intuitionistic negations (English)
0 references
14 December 2017
0 references
paraconsistent logic
0 references
negation
0 references
sequent calculus
0 references
embedding
0 references
