ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC

DOI10.1070/SM1977v031n02ABEH002303zbMath0386.03011OpenAlexW1984615484MaRDI QIDQ4166741

A. I. Tsitkin

Publication date: 1977

Published in: Mathematics of the USSR-Sbornik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/sm1977v031n02abeh002303

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55)

Related Items (19)

A criterion for admissibility of rules in the modal system S4 and intuitionistic logic ⋮ Bases of admissible rules of the logics S4 and Int ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ Hereditarily structurally complete modal logics ⋮ Admissibility in positive logics ⋮ Admissible inference rules of modal WCP-logics ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ 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 ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Finite frames fail: how infinity works its way into the semantics of admissibility ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ The Context of Inference ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Logical consecutions in discrete linear temporal logic ⋮ Characteristic inference rules ⋮ Decidability of the admissibility problem in layer-finite logics ⋮ Logical equations and admissible rules of inference with parameters in modal provability logics

This page was built for publication: ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC