The method of axiomatic rejection for the intuitionistic propositional logic (Q750414)
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: The method of axiomatic rejection for the intuitionistic propositional logic |
scientific article; zbMATH DE number 4174884
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The method of axiomatic rejection for the intuitionistic propositional logic |
scientific article; zbMATH DE number 4174884 |
Statements
The method of axiomatic rejection for the intuitionistic propositional logic (English)
0 references
1989
0 references
It is proved that the intuitionistic sentential calculus is decidable in the sense of Łukasiewicz. For the proof, an axiomatic system is given for the sets of rejected formulas of the intuitionistic calculus by adding a rule to the system of Łukasiewicz.
0 references
intuitionistic logic
0 references
axiomatic system for the sets of rejected formulas
0 references
intuitionistic sentential calculus
0 references
