Subframization and stabilization for superintuitionistic logics

DOI10.1093/logcom/exy035zbMath1444.03006OpenAlexW2914898942WikidataQ128583503 ScholiaQ128583503MaRDI QIDQ3120212

Nick Bezhanishvili, Guram Bezhanishvili, Julia Ilin

Publication date: 1 March 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a4af98379e0a943cbb1198109fd835eaf74186e8

zbMATH Keywords

intuitionistic logicaxiomatizationsubframe logicintuitionistic modal logiclax logicmultiple-conclusion consequence relation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Admissible rules for six intuitionistic modal logics

This page was built for publication: Subframization and stabilization for superintuitionistic logics