The semi Heyting-Brouwer logic
type: Item
instance of: scholarly article
title: The semi Heyting-Brouwer logic
zbMATH Open document ID: 1378.03011
author: Juan Manuel Cornejo
published in: Studia Logica
publication date: 2015-09-15T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 6482423
zbMATH Keywords: semi Heyting-Brouwer logic
zbMATH Keywords: semi-Heyting algebras
zbMATH Keywords: Heyting-Brouwer logic
zbMATH Keywords: Heyting algebras
MaRDI profile type: Publication
full work available at URL: s11225-014-9596-6
OpenAlex ID: W1973860787
cites work: Semi-Heyting algebras term-equivalent to Gödel algebras
cites work: Subdirectly irreducible double Heyting algebras
cites work: Semi-intuitionistic logic
cites work: On some semi-intuitionistic logics
cites work: Subtractive logic
cites work: A Formulae-as-Types Interpretation of Subtractive Logic
cites work: A remark on Gentzen's calculus of sequents
cites work: A survey of abstract algebraic logic
cites work: Q2721200
cites work: Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
cites work: Q3086939
cites work: A subdirectly irreducible double Heyting algebra which is not simple
cites work: Completeness results for intuitionistic and modal logic in a categorical setting
cites work: Synonymous logics
cites work: An algebraic approach to non-classical logics
cites work: Q5734410
cites work: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
cites work: Q3884093
cites work: Q3605557
cites work: Expansions of semi-Heyting algebras. I: Discriminator varieties
cites work: On logics with coimplication
DOI: 10.1007/S11225-014-9596-6
description: scientific article; zbMATH DE number 6482423