Weak subintuitionistic logics

DOI10.1093/JIGPAL/JZW062zbMath1405.03029OpenAlexW2565554419MaRDI QIDQ4644479

Fatemeh Shirmohammadzadeh Maleki, Dick H. J. de Jongh

Publication date: 8 January 2019

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

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

zbMATH Keywords

translationintuitionistic logicconservativityneighbourhood semanticssubintuitionistic logic

Mathematics Subject Classification ID

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

Related Items (5)

Monotone subintuitionistic logic: duality and transfer results ⋮ Binary modal companions for subintuitionistic logics ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic ⋮ Subintuitionistic logics and the implications they prove

This page was built for publication: Weak subintuitionistic logics