Display logic
type: Item
instance of: scholarly article
title: Display logic
zbMATH Open document ID: 0509.03008
author: Nuel D. jun. Belnap
published in: Journal of Philosophical Logic
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 3803405
zbMATH Keywords: Gentzen-style calculus
zbMATH Keywords: connective
zbMATH Keywords: intensional conjunction
zbMATH Keywords: nested implication
zbMATH Keywords: necessity
zbMATH Keywords: impossibility
zbMATH Keywords: monadic operator
zbMATH Keywords: elimination theorem
zbMATH Keywords: boolean connectives
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: modal logics
zbMATH Keywords: combinatory logic
zbMATH Keywords: proof theory
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3803405