Semantic trees for Dummett's logic LC (Q1092036)
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: Semantic trees for Dummett's logic LC |
scientific article; zbMATH DE number 4012579
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantic trees for Dummett's logic LC |
scientific article; zbMATH DE number 4012579 |
Statements
Semantic trees for Dummett's logic LC (English)
0 references
1986
0 references
As for Dummett's logic, its sequential formulation for which the cut elimination theorem has been proved does not give rise to the decision procedure immediately. The author modifies the system so that it provides an effective procedure for deciding whether a given sequent is provable or not.
0 references
intermediate logic
0 references
sequent calculus
0 references
Dummett's logic
0 references
decision procedure
0 references
0.88406324
0 references
0.86902213
0 references
0.86363554
0 references
0.8620096
0 references
