Fragments of some subintuitionistic logics

DOI10.1007/S00153-026-01031-5MaRDI QIDQ7402645zbMATH OpenFDO

Authors Fatemeh Shirmohammadzadeh Maleki, Dick H. J. de Jongh

Publication date 2026

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S00153-026-01031-5

zbMATH Keywords

implicational fragmentsKripke semanticsneighbourhood semanticssubintuitionistic logics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Other nonclassical logic (03B60)

Cites work

• A closer look at some subintuitionistic logics
• Binary modal companions for subintuitionistic logics
• scientific article; zbMATH DE number 2015295 (Why is no real title available?)
• scientific article; zbMATH DE number 757639 (Why is no real title available?)
• Intuitionistic implication without disjunction
• Subintuitionistic logics
• Subintuitionistic logics and the implications they prove
• Two neighborhood semantics for subintuitionistic logics
• Weak Logics with Strict Implication
• Weak subintuitionistic logics

This page was built for publication: Fragments of some subintuitionistic logics

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