We prove completeness for some language-theoretic models of the full Lambek calculus and its various fragments. First we consider syntactic concepts and syntactic concepts over regular languages, ...
Figure 1: Comparison of 16S amplicon and shotgun sequencing datasets obtained from ancient, historic, and modern dental calculus samples. Figure 2: Bacterial community composition at the phyla level ...