Double-negation elimination in some propositional logics (Q813082)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5002529
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Double-negation elimination in some propositional logics |
scientific article; zbMATH DE number 5002529 |
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
0.7452234625816345
0 references
0.7452234625816345
0 references
0.7398415207862854
0 references
0.7258642911911011
0 references
0.723131000995636
0 references
