Pages that link to "Item:Q2501166"

The following pages link to On the rules of intermediate logics (Q2501166):

Displaying 22 items.

• On rules (Q266650) (← links)
• On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
• A formal theory of generalized intermediate syllogisms (Q423141) (← links)
• Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967) (← links)
• Intermediate logics and Visser's rules (Q558441) (← links)
• Proof analysis in intermediate logics (Q661286) (← links)
• A note on admissible rules and the disjunction property in intermediate logics (Q661289) (← links)
• Complexity of admissible rules (Q868660) (← links)
• Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
• Reflexive intermediate first-order logics (Q1049753) (← links)
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
• Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers (Q2092450) (← links)
• Rules with parameters in modal logic. I. (Q2346953) (← links)
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
• Topologies for intermediate logics (Q2922497) (← links)
• (Q3475248) (← links)
• Canonical rules (Q3655251) (← links)
• Intermediate logics preserving admissible inference rules of heyting calculus (Q4304123) (← links)
• (Q4919779) (← links)
• Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
• Universal proof theory: feasible admissibility in intuitionistic modal logics (Q6652040) (← links)