Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Mathematics;M. Barr,1979
2. Brady, G., Trimble, T.: A categorical interpretation of C.S. Peirce’s propositional logic Alpha. Journal of Pure and Applied Algebra 149, 213–239 (2000a)
3. Brady, G., Trimble, T.: A string diagram calculus for predicate logic and C.S. Peirce’s system Beta (2000b) (Preprint)
4. Crans, S.: On braidings, syllepses ans symmetries. Cahiers Topologie Geom. Differentielle Categ. 41(1), 2–74 (2000)
5. Lecture Notes in Artificial Intelligence;F. Dau,2003