Author:
Haydon Nathan,Sobociński Paweł
Publisher
Springer International Publishing
Reference19 articles.
1. Bonchi, F., Seeber, J., Sobociński, P.: Graphical conjunctive queries. In: Computer Science Logic 2018 (CSL 2018) (2018)
2. Brady, G., Trimble, T.: A categorical interpretation of C. S. Peirce’s propositional logic alpha. J. Pure Appl. Algebra 149, 213–239 (2000)
3. Brady, G., Trimble, T.: A string diagram calculus for predicate logic and C. S. Peirce’s system beta (2000)
4. Burch, R.W.: A Peircean Reduction Thesis. Texas Tech University Press, Lubbock (1991)
5. Burch, R.W.: Valental aspects of peircean algebraic logic. Comput. Math. Appl. 23(6), 665–677 (1992).
https://doi.org/10.1016/0898-1221(92)90128-5
.
http://www.sciencedirect.com/science/article/pii/0898122192901285
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Constructor Theory as Process Theory;Electronic Proceedings in Theoretical Computer Science;2023-12-14
2. Residuation in Existential Graphs;Diagrammatic Representation and Inference;2021