A closer look at some subintuitionistic logics
type: Item
instance of: scholarly article
title: A closer look at some subintuitionistic logics
zbMATH Open document ID: 1034.03007
author: Ramon Jansana
author: Sergio A. Celani
published in: Notre Dame Journal of Formal Logic
publication date: 2004-02-04T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03G99
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 2038294
zbMATH Keywords: consequence relations
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: Kripke frames
zbMATH Keywords: subintuitionistic logics
zbMATH Keywords: modal logics
zbMATH Keywords: abstract algebraic logic
zbMATH Keywords: protoalgebraic logics
zbMATH Keywords: equivalential logics
zbMATH Keywords: algebraizable logics
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1063372244
OpenAlex ID: W2061319273
cites work: Basic Propositional Calculus I
cites work: Basic propositional calculus. II: Interpolation
cites work: Algebraizable logics
cites work: Weak Logics with Strict Implication
cites work: Protoalgebraic logics
cites work: Q4833771
cites work: Logics Which Are Characterized by Subresiduated Lattices
cites work: What is strict implication?
cites work: An algebraic approach to non-classical logics
cites work: Subintuitionistic logics
cites work: Q3987175
cites work: Basic logic, K4, and persistence
cites work: Q4487297
cites work: Speaking about transitive frames in propositional languages
cites work: A propositional logic with explicit fixed points
cites work: Q4385350
DOI: 10.1305/NDJFL/1063372244
description: scientific article; zbMATH DE number 2038294