scientific article; zbMATH DE number 3557753
From MaRDI portal
zbMath0358.02031MaRDI QIDQ4133602
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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}\)
