scientific article; zbMATH DE number 1248086

MaRDI QIDQ4228152zbMATH OpenFDO

Authors Aleksandar Kron

Publication date 7 June 1999

zbMATH Keywords

cut eliminationdecicabilitypositive relevance logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• \(TW_+\) and \(RW_+\) are decidable
• scientific article; zbMATH DE number 3961578
• An alternative Gentzenisation of \(\mathsf{RW}_+^\circ\)
• Four relevant Gentzen systems

Cited in

(12)

• A note on the decidability of a strong relevant logic
• On purported Gentzen formulations of two positive relevant logics
• \(TW_+\) and \(RW_+\) are decidable
• An O(n n)-space decision procedure for the relevance logic B^+
• An alternative Gentzenisation of \(\mathsf{RW}_+^\circ\)
• A decidable temporal relevant logic for time-dependent relevant human reasoning
• scientific article; zbMATH DE number 3961578 (Why is no real title available?)
• scientific article; zbMATH DE number 1984514 (Why is no real title available?)
• scientific article; zbMATH DE number 6751870 (Why is no real title available?)
• Four relevant Gentzen systems
• New consecution calculi for \(R^{t}_{\to}\)
• The Gentzenization and decidability of RW

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 Q4228152)