Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference58 articles.
1. Ardeshir, M., and W. Ruitenburg, Basic propositional calculus I. Mathematical Logic Quarterly 44(3):317–343, 1998.
2. Arieli, O., and A. Avron, Reasoning with logical bilattices. Journal of Logic, Language and Information 5(1):25–63, 1996.
3. Avron, A., Natural 3-valued logics—characterization and proof theory. The Journal of Symbolic Logic 56(1):276–294, 1991.
4. Avron, A., The structure of interlaced bilattices. Mathematical Structures in Computer Science 6(3):287–299, 1996.
5. Belnap, N. D., A useful four-valued logic, in Modern Uses of Multiple-Valued Logic, D. Reidel, Dordrecht, 1977, pp. 8–37.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献