On arithmetic complexity of certain constructive logics
type: Item
instance of: scholarly article
title: On arithmetic complexity of certain constructive logics
zbMATH Open document ID: 0787.03055
DOI: 10.1007/BF01247653
published in: Mathematical Notes
publication date: 1993-04-01T00:00:00Z
review text: See the review in Zbl 0770.03019.
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 148619
zbMATH Keywords: constructive logics
zbMATH Keywords: constructive arithmetic
zbMATH Keywords: intuitionistic deducibility rules
zbMATH Keywords: complexity
zbMATH Keywords: completeness
author: Valery Plisko
MaRDI profile type: Publication
cites work: Q5812175
cites work: Q3816054
cites work: SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
cites work: Q3880841
description: scientific article; zbMATH DE number 148619