Semi-intuitionistic logic with strong negation
type: Item
instance of: scholarly article
title: Semi-intuitionistic logic with strong negation
zbMATH Open document ID: 1437.03043
author: Juan Manuel Cornejo
author: Ignacio D. Viglizzo
published in: Studia Logica
publication date: 2018-04-16T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 6860341
zbMATH Keywords: semi-Nelson algebras
zbMATH Keywords: intuitionism
zbMATH Keywords: semi-intuitionistic logic
zbMATH Keywords: intuitionistic logic with strong negation
MaRDI profile type: Publication
full work available at URL: s11225-017-9737-9
OpenAlex ID: W2730984253
cites work: Semi-intuitionistic logic
cites work: On some semi-intuitionistic logics
cites work: Semi-Nelson algebras
cites work: Q5582318
cites work: A survey of abstract algebraic logic
cites work: Q5518341
cites work: Constructible falsity
cites work: N-lattices and constructive logic with strong negation
cites work: An algebraic approach to non-classical logics
cites work: Q3605557
cites work: Notes on \(\eta\)-lattices and constructive logic with strong negation
DOI: 10.1007/S11225-017-9737-9
description: scientific article; zbMATH DE number 6860341