Author:
Chagrov Alexander,Zakharyashchev Michael
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference85 articles.
1. J. G. Anderson [1972], Superconstructive prepositional calculi with extra axiom schemes containing one variable, Zeitschrift f�r mathematische Logik und Grundlagen der Mathematik 18 (1972), pp. 113?130.
2. F. Bellissima [1989], Two classes of intermediate propositional logics without disjunction property, Archives of Mathematical Logic 28 (1989), pp. 23?33.
3. J. F. A. K. van Benthem and I. L. Humberstone [1983], Halld�n-completeness by gluing of Kripke frames, Notre Dame Journal of Formal Logic 24 (1983), pp. 426?430.
4. W. J. Blok [1976], Varieties of interior algebras, Dissertation, University of Amsterdam, 1976.
5. A. V. Chagrov [1985], On complexity of propositional logics, Complexity Problems in Mathematical Logic, Kalinin State University, 1985, pp. 80?90 (in Russian).
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献