Double-negation elimination in some propositional logics (Q813082)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Double-negation elimination in some propositional logics |
scientific article |
Statements
Double-negation elimination in some propositional logics (English)
0 references
30 January 2006
0 references
existence of proofs free of double negation
0 references
existence of axiom system
0 references
classical propositional calculus
0 references
infinite-valued sentential calculus
0 references
intuitionistic logic
0 references
condensed detachment
0 references
automated reasoning
0 references
0 references
