Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference10 articles.
1. Baker K. A.: Finite equational bases for finite algebras in a congruence distributive equational class. Advances in Mathematics 24, 207–243 (1977)
2. Bellissima F.: Post complete and 0-axiomatizable modal logics. Annals of Pure and Applied Logic 47, 121–144 (1990)
3. Blok W.J.: Pretabular varieties of modal algebras. Studia Logica 39, 101–124 (1980)
4. Chagrov, A. V., Nontabularity-pretabularity, antitabularity, coantitabularity, in Algebraic and Logical Constructions, 1989, pp. 105–111.
5. Chagrov, A. V., Modelling of computation process by means of propositional logic, Dissertation. Russian Academy of Science, Moscow (Russian) 1998.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献