Correspondences between classical, intuitionistic and uniform provability (Q1575924)
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: Correspondences between classical, intuitionistic and uniform provability |
scientific article; zbMATH DE number 1495202
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Correspondences between classical, intuitionistic and uniform provability |
scientific article; zbMATH DE number 1495202 |
Statements
Correspondences between classical, intuitionistic and uniform provability (English)
0 references
23 August 2000
0 references
proof search
0 references
derivability relations over sequents
0 references
classical provability
0 references
intuitionistic provability
0 references
uniform provability
0 references
goal-directedness
0 references
abstract logic programming languages
0 references
0 references
0 references
0.96296084
0 references
0 references
0.90678257
0 references
0.9026774
0 references
0.8960117
0 references
0.8944694
0 references
