Author:
Kamide Norihiro,Shramko Yaroslav
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference25 articles.
1. Constructible falsity and inexact predicates
2. Reasoning with logical bilattices;Arieli;Journal of Logic, Language and Information,1996
3. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
4. Subtractive logic
5. Fitting M. Bilattices are nice things. In Self-Reference, Bolander T. , Hendricks V. Pedersen S.A. , eds, pp.~53–77. CSLI Publications, 2006.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献