Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
type: Item
instance of: scholarly article
title: Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
zbMATH Open document ID: 1025.03055
author: Sara Negri
published in: Archive for Mathematical Logic
publication date: 2003-09-16T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 1982522
zbMATH Keywords: Barr's theorem
zbMATH Keywords: geometric theories
zbMATH Keywords: Robinson arithmetic
zbMATH Keywords: real closed field
zbMATH Keywords: geometric implication
zbMATH Keywords: cut elimination
MaRDI profile type: Publication
full work available at URL: s001530100124
OpenAlex ID: W2041585656
DOI: 10.1007/S001530100124
description: scientific article; zbMATH DE number 1982522