Abstract
A negative solution of the problem posed by Maksimova [5] is given. Two sequences of Superintuitionistic logics are axiomatized by using an analogy of the operation ω.
Similar content being viewed by others
References
L. L. Esakia, Heyting Algebras 1, Metsniereba, Tbilisi, 1985 (in Russian).
T. Hosoi, Axiomatization of certain intermediate logics, Journal of Tsuda College 10 (1978), pp. 9–12.
T. Hosoi, On intermediate logics 1, The Journal of the Faculty of Science, University of Tokyo, Sec. 1, 14 (1967), pp. 293–312.
V. A. Jankov, On the relationship between deducibility in the intuitionistic propositional calculus and finite implicative structures, Doklady AN SSSR 151 (1963), pp. 1263–1264 (in Russian).
L. L. Maksimova, On locally finite varieties of pseudoboolean algebras, in XVI All-Union Algebraical Conference (abstracts), Leningrad, 1981, No. 1, pp. 99–100 (in Russian).
L. L. Maksimova, Modal logic of finite slices, Algebra i Logika 14, No. 3 (1975), pp. 308–319 (in Russian).
L. L. Maksimova, Pretabular extensions of Lewis S4 Logic, Algebra i Logika 14, No. 1 (1975), pp. 28–55 (in Russian).
L. L. Maksimova, Pretabular superintuitionistic logic, Algebra i Logika 11, No. 5 (1975), pp. 558–570 (in Russian).
S. I. Mardaev, Embedding of implicative lattices and superintuitionistic logic, Algebra i Logika 26, No. 3 (1987), pp. 318–357 (in Russian).
S. I. Mardaev, On number of prelocally-tabular superintuitionistic propositional logics, Algebra i Logika 23, No. 1 (1984), pp. 74–87 (in Russian).
S. I. Mardaev, Two hierarchies of locally tabular superintuitionistic logics, preprint No. 10, Institute of Mathematics, Novosibirsk, 1987 (in Russian),
A. I. Tsitkin, Finite axiomatizability of locally tabular superintuitionistic logics, Matematičeskie Zametki 40, No. 3 (1986), pp. 407–413 (in Russian).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mardaev, S.I. Two sequences of locally tabular superintuitionistic logics. Stud Logica 50, 333–342 (1991). https://doi.org/10.1007/BF00370191
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370191