Fuzzy sets, linear logic and petrinets

MaRDI QIDQ3105675zbMATH OpenFDO

Authors Sangita Kansal, Rajive Kumar

Publication date 5 January 2012

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)

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

Cited in

(3)

• YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC
• On intuitionistic L-fuzzy bi-ideals of semigroups
• Fuzzy sets and residuated 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)