scientific article; zbMATH DE number 940717

zbMATH Open0855.03009MaRDI QIDQ4714227

Author name not available (Why is that?)

Publication date: 9 February 1997

Full work available at URL: https://eudml.org/doc/119000

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Title of this publication is not available (Why is that?)

zbMATH Keywords

Anderson-Belnap conjectureGentzen-style purely implicational systemNOIDpropositional relevance logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

The Identity Transform of a Permutation and its Applications

Recommendations

• The Identity Transform of a Permutation and its Applications 👍 👎
• Permutations 👍 👎
• A Combinatorial Identity 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

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