Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
type: Item
instance of: scholarly article
title: Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
zbMATH Open document ID: 0709.03009
DOI: 10.1016/0168-0072(90)90055-7
published in: Annals of Pure and Applied Logic
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 4164800
zbMATH Keywords: modal logic
zbMATH Keywords: admissibility of rules of inference
zbMATH Keywords: solvability of the substitution problem
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: free modal algebra
zbMATH Keywords: modal system Grz
zbMATH Keywords: intuitionistic calculus H
author: Vladimir Rybakov
MaRDI profile type: Publication
full work available at URL: 0168-0072(90)90055-7
OpenAlex ID: W2048520665
cites work: Q5620598
cites work: Q5515373
cites work: Modal Logics Between S 4 and S 5
cites work: An incomplete logic containing S4
cites work: One hundred and two problems in mathematical logic
cites work: Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
cites work: Boolean Algebras with Operators. Part I
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Algebraic semantics for modal logics I
cites work: The algebraic treatment of the methodology of elementary deductive systems
cites work: Q3268305
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: Q4133602
cites work: Q3950540
cites work: Admissible rules for logics containing S4.3
cites work: Decidability of the admissibility problem in layer-finite logics
cites work: A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
cites work: Bases of admissible rules of the logics S4 and Int
cites work: Elementary theories of free topo-Boolean and pseudo-Boolean algebras
cites work: Q3727965
cites work: BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
cites work: Q3745885
cites work: Equations in free topoboolean algebra
cites work: DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
cites work: Q4068699
cites work: Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
cites work: Semantic analysis of tense logics
cites work: An incompleteness theorem in modal logic
cites work: ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
cites work: Q4198474
cites work: Q3855179
cites work: Some remarks on the consequence operation in sentential logics
description: scientific article; zbMATH DE number 4164800