Pages that link to "Item:Q4644602"
From MaRDI portal
The following pages link to Reduction of provability logics to Σ<sub>1</sub>-provability logics (Q4644602):
Displaying 14 items.
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- Does reductive proof theory have a viable rationale? (Q1841001) (← links)
- Proof-theoretic reduction as a philosopher's tool (Q1841003) (← links)
- Hard provability logics (Q2658282) (← links)
- A reduction of proof complexity to computational complexity for 𝐴𝐶⁰[𝑝] Frege systems (Q2944868) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- On the convergence of reduction-based and model-based methods in proof theory (Q3644841) (← links)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
- A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic (Q4809578) (← links)
- (Q4809790) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- THE -PROVABILITY LOGIC OF (Q5195060) (← links)
- Reductions for non-clausal theorem proving (Q5958754) (← links)
