Pages that link to "Item:Q2732279"

The following pages link to On the admissible rules of intuitionistic propositional logic (Q2732279):

Displaying 26 items.

• (Q4325775) (← links)
• (Q4487248) (← links)
• <i>KD</i> is nullary (Q4586229) (← links)
• Checking Admissibility Using Natural Dualities (Q4617979) (← links)
• (Q4966006) (← links)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
• Negative translations and normal modality (Q5111325) (← links)
• Singly generated quasivarieties and residuated structures (Q5119904) (← links)
• THE -PROVABILITY LOGIC OF (Q5195060) (← links)
• The Context of Inference (Q5208107) (← links)
• VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
• Constructive Modalities with Provability Smack (Q5255796) (← links)
• Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
• PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
• Proof Complexity of Non-classical Logics (Q5894972) (← links)
• A(nother) characterization of intuitionistic propositional logic (Q5957911) (← links)
• Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
• Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
• Admissible inference rules of modal WCP-logics (Q6193927) (← links)
• An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
• THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)
• Universal proof theory: feasible admissibility in intuitionistic modal logics (Q6652040) (← links)
• Basis of globally admissible rules for logic S4 (Q6663881) (← links)