Subintuitionistic logics and the implications they prove

DOI10.1016/J.INDAG.2018.01.013zbMath1437.03044OpenAlexW2810328916MaRDI QIDQ1788333

Fatemeh Shirmohammadzadeh Maleki, Dick H. J. de Jongh

Publication date: 8 October 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2018.01.013

zbMATH Keywords

Kripke modelsintuitionistic logicconservativitysubintuitionistic logicneighborhood models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Monotone subintuitionistic logic: duality and transfer results ⋮ Binary modal companions for subintuitionistic logics ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics

Cites Work

• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• Subintuitionistic logics
• A closer look at some subintuitionistic logics
• Subminimal negation
• Stable formulas in intuitionistic logic
• Duality between modal algebras and neighbourhood frames
• Subintuitionistic logics with Kripke semantics
• Weak Logics with Strict Implication
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Weak subintuitionistic logics

This page was built for publication: Subintuitionistic logics and the implications they prove