scientific article; zbMATH DE number 3557753

zbMATH Open0358.02031MaRDI QIDQ4133602FDOQ4133602

G. E. Mints

Publication date: 1973

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (19)

• A note on admissible rules and the disjunction property in intermediate logics
• On rules
• A syntactic approach to unification in transitive reflexive modal logics
• Tutorial on Admissible Rules in Gudauri
• 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
• HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
• Admissible rules for pretable modal logics
• Title not available (Why is that?)
• On the admissible rules of intuitionistic propositional logic
• Computer Science Logic
• Description of modal logics which enjoy co-cover property
• Rules and Derived Rules
• Title not available (Why is that?)
• Rules of inference with parameters for intuitionistic logic

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)