Proof methods for modal and intuitionistic logics
type: Item
instance of: scholarly article
title: Proof methods for modal and intuitionistic logics
zbMATH Open document ID: 0523.03013
author: Melvin Fitting
published in: Synthese Library
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03C35
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 3827827
zbMATH Keywords: modal logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: proof theory
zbMATH Keywords: semantic tableaux
zbMATH Keywords: Gentzen calculi
zbMATH Keywords: natural deduction rules
zbMATH Keywords: completeness proofs
zbMATH Keywords: cut elimination
zbMATH Keywords: interpolation
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3827827