Maximality of bi-intuitionistic propositional logic

DOI10.1093/LOGCOM/EXAB058MaRDI QIDQ5028301zbMATH OpenOpenAlexFDO

Authors Grigory Olkhovikov, Guillermo Badia

Publication date 8 February 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2104.03052

zbMATH Keywords

abstract model theorybi-asimulationsbi-intuitionistic logicLindström theorem

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• A Lindström theorem for intuitionistic propositional logic
• Bi-simulating in bi-intuitionistic logic
• A Lindström theorem for intuitionistic first-order logic
• Hennessy-Milner properties for (modal) bi-intuitionistic logic
• Analytic cut and interpolation for bi-intuitionistic logic

Cited in

(4)

• Hennessy-Milner properties for (modal) bi-intuitionistic logic
• scientific article; zbMATH DE number 7184880 (Why is no real title available?)
• A Lindström theorem for intuitionistic first-order logic
• Infinitary negative translations and Glivenko logic

This page was built for publication: Maximality of bi-intuitionistic propositional logic

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