Intuitionistic dual-intuitionistic nets (Q3094142)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Intuitionistic dual-intuitionistic nets |
scientific article; zbMATH DE number 5961418
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Intuitionistic dual-intuitionistic nets |
scientific article; zbMATH DE number 5961418 |
Statements
Intuitionistic Dual-intuitionistic Nets (English)
0 references
21 October 2011
0 references
classical logic
0 references
intuitionistic logic
0 references
dual-intuitionistic logic
0 references
proof-nets
0 references
computational duality
0 references
0.7897167205810547
0 references
0.7804211974143982
0 references
0.775586724281311
0 references
0.7579926252365112
0 references