Monadic fragments of intuitionistic control logic

DOI10.18778/0138-0680.45.3.4.01zbMATH Open1423.03045OpenAlexW2734680306MaRDI QIDQ4593253FDOQ4593253

Authors: Anna Glenszczyk 

Publication date: 22 November 2017

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

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

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

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)

Cited In (3)

• Flat fragments of CTL and CTL: separating the expressive and distinguishing powers
• Negational fragment of intuitionistic control logic
• Title not available (Why is that?)

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)