On the number of variables in undecidable superintuitionistic propositional calculi
type: Item
instance of: scholarly article
title: On the number of variables in undecidable superintuitionistic propositional calculi
zbMATH Open document ID: 1405.03025
author: G. V. Bokov
publication date: 2019-01-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/1504.03358
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 6997981
zbMATH Keywords: superintuitionistic propositional calculus
zbMATH Keywords: undecidable calculus
zbMATH Keywords: Minsky machine
MaRDI profile type: Publication
OpenAlex ID: W2283591084
arXiv ID: 1504.03358
DOI: 10.1093/JIGPAL/JZW018
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 6997981