Admissible rules for pretable modal logics
type: Item
instance of: scholarly article
title: Admissible rules for pretable modal logics
zbMATH Open document ID: 0496.03008
DOI: 10.1007/BF01669113
published in: Algebra and Logic
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 3781135
zbMATH Keywords: derivable rules
zbMATH Keywords: provability
zbMATH Keywords: extensions of S4
zbMATH Keywords: superintuitionistic logic
zbMATH Keywords: decidability of the universal theory
zbMATH Keywords: Lindenbaum algebra
zbMATH Keywords: tabular logic
zbMATH Keywords: pretabular intuitionistic logic
author: Vladimir Rybakov
MaRDI profile type: Publication
cites work: Q5607207
cites work: Q4133602
cites work: ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
cites work: Q4198474
cites work: An ascending chain of S4 logics
cites work: One hundred and two problems in mathematical logic
cites work: Extensions of the Lewis system S5
cites work: Free S5 algebras
full work available at URL: https://doi.org/10.1007/bf01669113
OpenAlex ID: W1989047802
description: scientific article; zbMATH DE number 3781135