Intuitionistic N-Graphs
type: Item
instance of: scholarly article
title: Intuitionistic N-Graphs
zbMATH Open document ID: 1328.03054
author: Marcela Quispe-Cruz
author: Anjolina de Oliveira
author: Ruy J. G. B. de Queiroz
author: Valeria de Paiva
publication date: 2015-02-27T00:00:00Z
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 6409418
zbMATH Keywords: proof theory
zbMATH Keywords: proof-graphs
zbMATH Keywords: N-graphs
zbMATH Keywords: intuitionistic propositional logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: natural deduction
zbMATH Keywords: multiple-conclusion systems
MaRDI profile type: Publication
full work available at URL: jzt033
OpenAlex ID: W2111101597
Wikidata QID: Q56994482
DOI: 10.1093/JIGPAL/JZT033
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 6409418