Constructing sequent rules for generalized propositional logics
type: Item
instance of: scholarly article
title: Constructing sequent rules for generalized propositional logics
zbMATH Open document ID: 0551.03036
author: Richard L. Call
published in: Notre Dame Journal of Formal Logic
publication date: 1984-01-01T00:00:00Z
review text: The author sets up Gentzen calculi for n-ary boolean connectives (translating the truth tables directly into upper formulae).
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 3877176
zbMATH Keywords: normal form
zbMATH Keywords: proof theory
zbMATH Keywords: Gentzen calculi for n-ary boolean connectives
zbMATH Keywords: truth tables
zbMATH Keywords: upper formulae
reviewed by: Horst Luckhardt
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093870576
OpenAlex ID: W2005464993
DOI: 10.1305/NDJFL/1093870576
description: scientific article; zbMATH DE number 3877176