scientific article; zbMATH DE number 3557753

zbMath0358.02031MaRDI QIDQ4133602

Grigori Mints

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (11)

On rules ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Description of modal logics which enjoy co-cover property ⋮ Admissibility in positive logics ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ Admissible rules for pretable modal logics ⋮ A note on admissible rules and the disjunction property in intermediate logics ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)

This page was built for publication: