Independent bases for rules admissible in pretabular logics
From MaRDI portal
Publication:4237681
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
modal logicquasivarietyinference ruleKripke modeladmissible rulesuperintuitionistic logicindependent rules
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