Subframization and stabilization for superintuitionistic logics

DOI10.1093/LOGCOM/EXY035MaRDI QIDQ3120212zbMATH OpenOpenAlexWikidataFDO

Authors Guram Bezhanishvili, Nick 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 logicaxiomatizationintuitionistic modal logicsubframe 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)

Recommendations

• Cofinal stable logics
• On superintuitionistic logics as fragments of proof logic extensions
• Syntax and semantics of superintuitionistic logics
• On the property of simple substitution for superintuitionistic propositional logics.
• scientific article; zbMATH DE number 3861126

Cited in

(5)

• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Proof theory for Lax Logic
• Stable formulas in intuitionistic logic
• Admissible rules for six intuitionistic modal logics
• Cofinal stable logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3120212)