Weak subintuitionistic logics

DOI10.1093/JIGPAL/JZW062MaRDI QIDQ4644479zbMATH OpenOpenAlexFDO

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

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/a7c052415983b8fbc1d37136a38f374097a060d3

zbMATH Keywords

intuitionistic logicconservativitytranslationneighbourhood semanticssubintuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Subintuitionistic logics and the implications they prove
• Subintuitionistic logics with Kripke semantics
• Weak Logics with Strict Implication
• Subintuitionistic logics
• A closer look at some subintuitionistic logics

Cited in

(13)

• Subintuitionistic logics with Kripke semantics
• Subintuitionistic logics and the implications they prove
• Choice-free topological duality for implicative lattices and Heyting algebras
• Notes on my scientific life
• Weak Logics with Strict Implication
• Subintuitionistic logics and their modal companions: a nested approach
• Monotone subintuitionistic logic: duality and transfer results
• Binary modal companions for subintuitionistic logics
• Subintuitionistic logics
• scientific article; zbMATH DE number 2109248 (Why is no real title available?)
• A weak intuitionistic propositional logic with purely constructive implication
• Topological and multi-topological frames in the context of intuitionistic modal logic
• Two neighborhood semantics for subintuitionistic logics

This page was built for publication: Weak subintuitionistic logics

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