Author:
Cabrer L. M.,Priestley H. A.
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference32 articles.
1. Arieli O., Avron A.: Reasoning with logical bilattices. J. Logic, Lang. Inform. 5, 25–63 (1996)
2. Avron A.: The structure of interlaced bilattices. Math. Structures in Comput. Sci. 6, 287–299 (1996)
3. Baader, F., Snyder, W.: Unification theory. In Robinson, A. and Voronkov, A., editors, Handbook of Automated Reasoning. 8, pp. 445–533. Elsevier (2001)
4. Balbes R., Dwinger Ph.: Distributive Lattices. University of Missouri Press, Columbia (1974)
5. Belnap, N.D.: How a computer should think. In: Contemporary Aspects of Philosophy, ed. G. Ryle (Oriel), pp. 30–56 (1976)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献