The following pages link to (Q4198474):
Displaying 13 items.
- On rules (Q266650) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- A note on admissible rules and the disjunction property in intermediate logics (Q661289) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Some investigations of varieties of \({\mathcal N}\)-lattices (Q1071022) (← links)
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic (Q1079558) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- Admissible rules for pretable modal logics (Q1170232) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
