Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
type: Item
instance of: scholarly article
title: Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
zbMATH Open document ID: 0938.03042
author: Alessandro Avellone
author: Mauro Ferrari
author: Pierangelo Miglioli
publication date: 2000-06-14T00:00:00Z
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1356642
zbMATH Keywords: tableau calculi
zbMATH Keywords: cut-free sequent calculi
zbMATH Keywords: interpolation
zbMATH Keywords: intermediate logics
zbMATH Keywords: superintuitionistic logic
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/jigpal/7.4.447
OpenAlex ID: W2124047678
DOI: 10.1093/JIGPAL/7.4.447
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 1356642