Gentzen-style sequent calculus for semi-intuitionistic logic
type: Item
instance of: scholarly article
title: Gentzen-style sequent calculus for semi-intuitionistic logic
zbMATH Open document ID: 1417.03126
author: Yong-Cai Geng
author: Sumit K. Garg
published in: Studia Logica
publication date: 2017-03-02T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 06D20
zbMATH DE Number: 6690920
zbMATH Keywords: semi-intuitionistic logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: semi-Heyting algebras
zbMATH Keywords: Heyting algebras
zbMATH Keywords: sequent calculus
MaRDI profile type: Publication
full work available at URL: s11225-016-9675-y
OpenAlex ID: W2416395567
cites work: The variety generated by semi-Heyting chains
cites work: The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)
cites work: Free-decomposability in varieties of semi-Heyting algebras
cites work: Semi-Heyting algebras term-equivalent to Gödel algebras
cites work: Algebraizable logics
cites work: Semi-intuitionistic logic
cites work: On some semi-intuitionistic logics
cites work: The semi Heyting-Brouwer logic
cites work: A survey of abstract algebraic logic
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Untersuchungen über das logische Schliessen. I
cites work: Synonymous logics
cites work: Q3605557
cites work: Expansions of semi-Heyting algebras. I: Discriminator varieties
DOI: 10.1007/S11225-016-9675-Y
description: scientific article; zbMATH DE number 6690920