Pages that link to "Item:Q638480"
From MaRDI portal
The following pages link to Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480):
Displaying 17 items.
- On rules (Q266650) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- Proof complexity of intuitionistic implicational formulas (Q331054) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- Constructive methods for intuitionistic fuzzy implication operators (Q1701977) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Sugihara algebras: admissibility algebras via the test spaces method (Q2301885) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
