Q5692811
type: Item
instance of: scholarly article
zbMATH Open document ID: 1074.03007
author: Mikhail Rybakov
publication date: 2005-09-28T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D15
zbMATH DE Number: 2209833
MaRDI profile type: MaRDI publication profile
Recommended article: Complexity of intuitionistic propositional logic and its fragments
Recommended article: An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
Recommended article: Q4424650
Recommended article: Embedding first order predicate logic in fragments of intuitionistic logic
Recommended article: Q4789042
Recommended article: Computations in fragments of intuitionistic propositional logic
Recommended article: The intuitionistic fragment of computability logic at the propositional level
Recommended article: Q4809044
Recommended article: Q5483012
Recommended article: Q3509064
description: scientific article; zbMATH DE number 2209833