Relating Intuitionist Negation and Triviality
type: Item
instance of: scholarly article
title: Relating Intuitionist Negation and Triviality
zbMATH Open document ID: 1062.03016
author: Wagner de Campos Sanz
publication date: 2005-03-11T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 2144299
zbMATH Keywords: intuitionism
zbMATH Keywords: \textit{ex falso quodlibet}
zbMATH Keywords: intuitionist negation
zbMATH Keywords: natural deduction
zbMATH Keywords: intuitionist logic
zbMATH Keywords: negation introduction rule
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/jigpal/12.6.581
OpenAlex ID: W2064816946
DOI: 10.1093/JIGPAL/12.6.581
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 2144299