×

zbMATH — the first resource for mathematics

Solvability of logical equations in the modal system Grz and intuitionistic logic. (English. Russian original) Zbl 0742.03005
Sib. Math. J. 32, No. 2, 297-308 (1991); translation from Sib. Mat. Zh. 32, No. 2(186), 140-153 (1991).
See the review in Zbl 0729.03014.
MSC:
03B45 Modal logic (including the logic of norms)
03B20 Subsystems of classical logic (including intuitionistic logic)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] J. C. MacKinsey and Alfred Tarski, ?Some theorems about the sentential calculi of Lewis and Heyting,?J. Symbol. Log.,13, 1-15 (1948). · Zbl 0037.29409 · doi:10.2307/2268135
[2] A. Grzegorczyk, ?Some relational systems and the associated topological spaces,?Fund. Math.,60, 223-231 (1967). · Zbl 0207.29603
[3] K. Segerberg,An Essay in Classical Modal Logic, Filosofiska Studier, Uppsala (1971). · Zbl 0311.02028
[4] H. Friedman, ?One hundred and two problems in mathematical logic,?J. Symbol. Log.,40, 113-130 (1975). · Zbl 0318.02002 · doi:10.2307/2271891
[5] V. V. Rybakov, ?Criteria for admissibility of rules in the modal system S4 and intuitionistic logic,?Algebra i Logika,23, No. 5, 546-572 (1984).
[6] V. V. Rybakov, ?Solvability from the admissibility of the modal system Grz and intuitionistic logic,?Izv. Akad. Nauk SSSR, Ser. Mat.,50, No. 3, 598-616 (1986).
[7] V. V. Rybakov, ?Bases of admissible rules of the modal system Grz and intuitionistic logic,?Mat. Sb.,128, No. 3, 321-339 (1985).
[8] V. V. Rybakov, ?Bases of admissible rules of the logics S4 and Int,?Algebra i Logika,24, No. 1, 87-107 (1985). · Zbl 0598.03014
[9] The Logical Notebook: Unsolved Problems of Mathematical Logic [in Russian], Math. Inst. Sib. Branch USSR Acad. Sci., Novosibirsk (1986).
[10] V. V. Rybakov, ?Equations in a free topo-Boolean algebra,?Algebra i Logika,25, No. 2, 172-204 (1986).
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.