Describing a basis in semireduced form for inference rules of intuitionistic logic (Q2746913)
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: Describing a basis in semireduced form for inference rules of intuitionistic logic |
scientific article; zbMATH DE number 1656849
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Describing a basis in semireduced form for inference rules of intuitionistic logic |
scientific article; zbMATH DE number 1656849 |
Statements
11 October 2001
0 references
basis for admissible inference rules
0 references
intuitionistic logic
0 references
logic of the weak law of excluded middle
0 references
superintuitionistic logic
0 references
0.88035035
0 references
0.87767684
0 references
0.8714849
0 references
0.8693504
0 references
0 references
0.86838174
0 references
0.86623544
0 references
Describing a basis in semireduced form for inference rules of intuitionistic logic (English)
0 references
The authors present a basis for admissible inference rules in the intuitionistic logic IPC. In addition, a similar basis is constructed for inference rules admissible in the superintuitionistic logic KC, the logic of the weak law of excluded middle.
0 references
