Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete (Q1274981): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4346206 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4722037 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The number of proofs for a BCK-formula / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5559220 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intuitionistic propositional logic is polynomial-space complete / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal proofs and their grammar / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\lambda\)-definability of free algebras / rank | |||
Normal rank |
Latest revision as of 18:00, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete |
scientific article |
Statements
Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete (English)
0 references
12 January 1999
0 references
deduction system
0 references