Switch to: References

Add citations

You must login to add citations.
  1. Linear logic for nets with bounded resources.Dmitry A. Archangelsky, Mikhail I. Dekhtyar & Mikhail A. Taitslin - 1996 - Annals of Pure and Applied Logic 78 (1-3):3-28.
    In this paper we introduce a new type of nets with bounded types of distributed resources . Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • In memoriam: Mikhail A. Taitslin 1936–2013.Oleg Belegradek & Boris Zilber - 2014 - Bulletin of Symbolic Logic 20 (1):99-102.
    Download  
     
    Export citation  
     
    Bookmark