Fuzzy sets, linear logic and petrinets

zbMATH Open1245.03085MaRDI QIDQ3105675FDOQ3105675

Authors: Sangita Kansal, Rajive Kumar 

Publication date: 5 January 2012

Recommendations

• scientific article; zbMATH DE number 939833
• scientific article; zbMATH DE number 1495504
• On categories of fuzzy Petri nets
• From Petri nets to linear logic
• Completeness results for linear logic on Petri nets

zbMATH Keywords

linear logicPetri netsHeyting linealelineale

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• On intuitionistic L-fuzzy bi-ideals of semigroups
• Fuzzy sets and residuated logic
• YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC

This page was built for publication: Fuzzy sets, linear logic and petrinets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3105675)