Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus
type: Item
instance of: scholarly article
title: Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus
zbMATH Open document ID: 1423.03058
DOI: 10.18778/0138-0680.45.2.05
author: Andrzej Indrzejczak
published in: Bulletin of the Section of Logic
publication date: 2017-11-17T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 6808536
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.18778/0138-0680.45.2.05
OpenAlex ID: W2620170203
description: scientific article; zbMATH DE number 6808536