Switch to: References

Add citations

You must login to add citations.
  1. Non-associative Lambek calculus with modalities: interpolation, complexity and FEP.Z. Lin - 2014 - Logic Journal of the IGPL 22 (3):494-512.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Complexity of the Universal Theory of Residuated Ordered Groupoids.Dmitry Shkatov & C. J. Van Alten - 2023 - Journal of Logic, Language and Information 32 (3):489-510.
    We study the computational complexity of the universal theory of residuated ordered groupoids, which are algebraic structures corresponding to Nonassociative Lambek Calculus. We prove that the universal theory is co $$\textsf {NP}$$ -complete which, as we observe, is the lowest possible complexity for a universal theory of a non-trivial class of structures. The universal theories of the classes of unital and integral residuated ordered groupoids are also shown to be co $$\textsf {NP}$$ -complete. We also prove the co $$\textsf {NP}$$ (...)
    Download  
     
    Export citation  
     
    Bookmark