Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference17 articles.
1. Banaschewski, B., and G. Bruns, ‘Categorical characterization of the MacNeille completion’, Arch. Math. (Basel) 18 (1967), 369–377.
2. Barwise, J., and J. Seligman, Information flow.The logic of distributed systems, Cambridge Tracts in Theoretical Computer Science, 44, Cambridge UniversityPress, Cambridge, 1997.
3. van Benthem, J., Categorial grammar at a cross-roads, preprint.
4. Bimbó, K., and J. M. Dunn, ‘Four Valued Logic’, Notre Dame Journal of Formal Logic 42, no. 3 (2001), 171–192.
5. Birkhoff, G., Lattice theory. Corrected reprint of the 1967 third edition, American Mathematical Society Colloquium Publications 25, American Mathematical Society, Providence, R. I., 1979.
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献