A cut-free Gentzen formulation of basic propositional calculus
type: Item
instance of: scholarly article
title: A cut-free Gentzen formulation of basic propositional calculus
zbMATH Open document ID: 1016.03056
DOI: 10.1023/A:1022363219134
author: Kentaro Kikuchi
author: Katsumi Sasaki
published in: Journal of Logic, Language and Information
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1901536
zbMATH Keywords: Basic Propositional Calculus
zbMATH Keywords: cut-elimination
zbMATH Keywords: dual-context system
zbMATH Keywords: Gentzen system
zbMATH Keywords: Kripke model
MaRDI profile type: Publication
full work available at URL: a:1022363219134
OpenAlex ID: W1925887606
description: scientific article; zbMATH DE number 1901536