Subintuitionistic logics and the implications they prove

DOI10.1016/J.INDAG.2018.01.013zbMATH Open1437.03044OpenAlexW2810328916MaRDI QIDQ1788333FDOQ1788333

Dick H. J. de Jongh, Fatemeh Shirmohammadzadeh Maleki

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

intuitionistic logicKripke modelsconservativitysubintuitionistic logicneighborhood models

Mathematics Subject Classification ID

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

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• A closer look at some subintuitionistic logics
• Subintuitionistic logics
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Stable formulas in intuitionistic logic
• Weak Logics with Strict Implication
• Duality between modal algebras and neighbourhood frames
• Subminimal negation
• Subintuitionistic logics with Kripke semantics
• Weak subintuitionistic logics
• Title not available (Why is that?)

Cited In (9)

• Combining first-order classical and intuitionistic logic
• Binary modal companions for subintuitionistic logics
• Subprevarieties versus extensions. Application to the logic of paradox
• Title not available (Why is that?)
• Notes on my scientific life
• Monotone subintuitionistic logic: duality and transfer results
• Subintuitionistic logics
• Title not available (Why is that?)
• Generalized Quantifiers Meet Modal Neighborhood Semantics

Recommendations

• A closer look at some subintuitionistic logics 👍 👎
• Subintuitionistic logics 👍 👎
• SUBSTRUCTURAL INQUISITIVE LOGICS 👍 👎
• Predicate logical extensions of some subintuitionistic logics 👍 👎
• Subintuitionistic logics with Kripke semantics 👍 👎
• Substructural epistemic logics 👍 👎
• Weak subintuitionistic logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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

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