Semantic trees for Dummett's logic LC (Q1092036): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Osamu Sonobe / rank | |||
Property / reviewed by | |||
Property / reviewed by: Osamu Sonobe / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A propositional calculus with denumerable matrix / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00373275 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2046451304 / rank | |||
Normal rank |
Latest revision as of 09:23, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semantic trees for Dummett's logic LC |
scientific article |
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