Pages that link to "Item:Q5957858"

The following pages link to Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858):

Displaying 20 items.

• On rules (Q266650) (← links)
• Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
• Intermediate logics and the de Jongh property (Q627438) (← links)
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
• Proof theory for admissible rules (Q1023055) (← links)
• Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
• Provability logic and the completeness principle (Q1740459) (← links)
• On the rules of intermediate logics (Q2501166) (← links)
• Implication via spacetime (Q2658280) (← links)
• Hard provability logics (Q2658282) (← links)
• (Q3384899) (← links)
• Predicate Logics of Constructive Arithmetical Theories (Q3416116) (← links)
• Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
• Closed Fragments of Provability Logics of Constructive Theories (Q3617381) (← links)
• THE -PROVABILITY LOGIC OF (Q5195060) (← links)
• The basic intuitionistic logic of proofs (Q5294019) (← links)
• EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
• Notes on my scientific life (Q6612807) (← links)
• Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
• The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)