Weak subintuitionistic logics

DOI10.1093/JIGPAL/JZW062zbMATH Open1405.03029OpenAlexW2565554419MaRDI QIDQ4644479FDOQ4644479

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

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

zbMATH Keywords

intuitionistic logicconservativitytranslationneighbourhood semanticssubintuitionistic logic

Mathematics Subject Classification ID

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

Cited In (13)

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

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)