Algebraic semantics for weak subintuitionistic logic WF

DOI10.1007/S00153-025-00979-0MaRDI QIDQ6913894zbMATH OpenFDO

Authors Fatemeh Shirmohammadzadeh Maleki

Publication date 17 October 2025

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

Full work available at URL https://doi.org/10.1007/S00153-025-00979-0

zbMATH Keywords

AmalgamationDistributive latticeSubintuitionistic logicVariety.WF algebra

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites work

• A closer look at some subintuitionistic logics
• A propositional logic with explicit fixed points
• Amalgamation property for the class of basic algebras and some of its natural subclasses
• Basic Propositional Calculus I
• Bounded distributive lattices with strict implication
• Bounded distributive lattices with strict implication and weak difference
• Duality between modal algebras and neighbourhood frames
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• Monotone subintuitionistic logic: duality and transfer results
• 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: Algebraic semantics for weak subintuitionistic logic WF

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