Monadic fragments of intuitionistic control logic

DOI10.18778/0138-0680.45.3.4.01MaRDI QIDQ4593253zbMATH OpenOpenAlexFDO

Authors Anna Glenszczyk

Publication date 22 November 2017

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.45.3.4.01

zbMATH Keywords

intuitionistic logiccontrol operatorsintuitionistic control logiccombining logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20) Combined logics (03B62)

Recommendations

• Negational fragment of intuitionistic control logic
• Complexity of intuitionistic propositional logic and its fragments
• Interpolation in fragments of intuitionistic propositional logic
• Intuitionistic implication without disjunction
• scientific article; zbMATH DE number 3931008

Cited in

(3)

• Flat fragments of CTL and CTL: separating the expressive and distinguishing powers
• Negational fragment of intuitionistic control logic
• scientific article; zbMATH DE number 3933037 (Why is no real title available?)

This page was built for publication: Monadic fragments of intuitionistic control logic

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