Independent bases for rules admissible in pretabular logics

DOI10.1093/jigpal/7.2.253zbMath0956.03024OpenAlexW2142305576MaRDI QIDQ4237681

V. R. Kiyatkin, Mehmet Terziler, Vladimir Vladimirovich Rybakov

Publication date: 7 March 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/7.2.253

zbMATH Keywords

modal logicquasivarietyinference ruleKripke modeladmissible rulesuperintuitionistic logicindependent rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of denumerable and separable structures (03C15) Intermediate logics (03B55)

Related Items (3)

Unnamed Item ⋮ Nilpotent Minimum Logic NM and Pretabularity ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

This page was built for publication: Independent bases for rules admissible in pretabular logics