scientific article; zbMATH DE number 3557753
From MaRDI portal
Publication:4133602
Recommendations
- On the admissible rules of intuitionistic propositional logic
- Computer Science Logic
- Admissible and derivable rules in intuitionistic logic
- Rules of inference with parameters for intuitionistic logic
- CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS
Cited in
(19)- Rules of inference with parameters for intuitionistic logic
- A note on admissible rules and the disjunction property in intermediate logics
- On rules
- A syntactic approach to unification in transitive reflexive modal logics
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Admissibility in positive logics
- Consequence relations and admissible rules
- Derivability of rules from rule complexes
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Admissible rules for pretable modal logics
- scientific article; zbMATH DE number 6319038 (Why is no real title available?)
- On the admissible rules of intuitionistic propositional logic
- Computer Science Logic
- Description of modal logics which enjoy co-cover property
- Tutorial on admissible rules in Gudauri
- Rules and Derived Rules
- Hereditarily structurally complete positive logics
- scientific article; zbMATH DE number 1463150 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133602)
