Algorithms for relevant logic

MaRDI QIDQ2735806zbMATH OpenFDO

Authors Paul Gochet, Pascal Gribomont, Didier Rossetto

Publication date 4 September 2001

Published in Logique et Analyse. Nouvelle Série (Search for Journal in Brave)

zbMATH Keywords

connection methodmultiplicity problemrelevant logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2226185
• scientific article; zbMATH DE number 2209820
• scientific article; zbMATH DE number 2209446
• Analytic tableaux for positive logic free from ``paradoxes of material implication
• Relevant logics: from semantics to proof systems

Cited in

(8)

• A pretabular classical relevance logic
• scientific article; zbMATH DE number 4055572 (Why is no real title available?)
• scientific article; zbMATH DE number 1301861 (Why is no real title available?)
• scientific article; zbMATH DE number 1984514 (Why is no real title available?)
• scientific article; zbMATH DE number 1749198 (Why is no real title available?)
• Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
• scientific article; zbMATH DE number 2209820 (Why is no real title available?)
• scientific article; zbMATH DE number 2226185 (Why is no real title available?)

This page was built for publication: Algorithms for relevant logic

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