Subintuitionistic logics and the implications they prove
type: Item
instance of: scholarly article
title: Subintuitionistic logics and the implications they prove
zbMATH Open document ID: 1437.03044
author: Fatemeh Shirmohammadzadeh Maleki
author: Dick H. J. de Jongh
published in: Indagationes Mathematicae. New Series
publication date: 2018-10-08T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6948556
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: subintuitionistic logic
zbMATH Keywords: conservativity
zbMATH Keywords: Kripke models
zbMATH Keywords: neighborhood models
MaRDI profile type: MaRDI publication profile
full work available at URL: j.indag.2018.01.013
OpenAlex ID: W2810328916
cites work: Stable formulas in intuitionistic logic
cites work: A closer look at some subintuitionistic logics
cites work: Q3867808
cites work: Subminimal negation
cites work: Weak Logics with Strict Implication
cites work: Subintuitionistic logics with Kripke semantics
cites work: Duality between modal algebras and neighbourhood frames
cites work: Disjunction and existence under implication in elementary intuitionistic formalisms
cites work: Subintuitionistic logics
cites work: Weak subintuitionistic logics
cites work: Constructivism in mathematics. An introduction. Volume I
DOI: 10.1016/J.INDAG.2018.01.013
Recommended article: Subintuitionistic logics
Recommended article: A closer look at some subintuitionistic logics
Recommended article: Q4415083
Recommended article: Subintuitionistic logics with Kripke semantics
Recommended article: Weak subintuitionistic logics
Recommended article: Predicate logical extensions of some subintuitionistic logics
Recommended article: SUBSTRUCTURAL INQUISITIVE LOGICS
Recommended article: Q4793029
Recommended article: Substructural epistemic logics
Recommended article: Q3768879
description: scientific article; zbMATH DE number 6948556