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
(22)- Admissible rules for pretable modal logics
- Admissibility in positive logics
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- On rules
- Description of modal logics which enjoy co-cover property
- On the admissible rules of intuitionistic propositional logic
- A syntactic approach to unification in transitive reflexive modal logics
- Consequence relations and admissible rules
- Tutorial on admissible rules in Gudauri
- Rules of inference with parameters for intuitionistic logic
- Rules and Derived Rules
- Admissible and derivable rules in intuitionistic logic
- scientific article; zbMATH DE number 1463150 (Why is no real title available?)
- Derivability of rules from rule complexes
- Hereditarily structurally complete positive logics
- scientific article; zbMATH DE number 6319038 (Why is no real title available?)
- Computer Science Logic
- Admissible rules in the implication-negation fragment of intuitionistic logic
- A note on admissible rules and the disjunction property in intermediate logics
- Quasivarieties of p-algebras: some new results
- On the universal theory of the free pseudocomplemented distributive lattice
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
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)
