Compositional Diagrammatic First-Order Logic (bibtex)
by Nathan Haydon
Reference:
Nathan Haydon, "Compositional Diagrammatic First-Order Logic", In 11th International Conference on the Theory and Application of Diagrams (DIAGRAMS 2020), 2020.
Bibtex Entry:
@InProceedings{Haydon2020,
  author    = {Nathan Haydon and Pawe{\l} Soboci\'{n}ski},
  title     = {Compositional Diagrammatic First-Order Logic},
  booktitle = {11th International Conference on the Theory and Application of Diagrams (DIAGRAMS 2020)},
  year      = {2020},
  note      = {To appear.},
  url = {https://www.ioc.ee/~pawel/papers/peirce.pdf},
}
Powered by bibtexbrowser